Talk:Semi-Thue system
From Wikipedia, the free encyclopedia
 |
This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details. | ||||||||
| Stub | This article has been rated as Stub-Class on the quality scale. | ||||||||
| ??? | This article has not yet received an importance rating on the importance scale. | ||||||||
|
|||||||||
[edit] "Semi-"?
What does the prefix Semi mean here? Is there a Thue system that's non-semi? Semi means half. —The preceding unsigned comment was added by 15.251.169.70 (talk • contribs) .
- A "Thue system" is a Semi-Thue system that is symmetric (either because for each X->Y you also have Y->X in the system, or because you define the system to allow applications of rules in both directions). Very often the term "Thue system" is also used for Semi-Thue system, as most interesting properties are very similar.--Stephan Schulz 20:27, 13 July 2006 (UTC)
[edit] What is it?
I read the article, but I still don't really understand what a Semi-Thue system is. Can someone de-jargonify and/or expand the the definition in the intro? Perhaps create a small example for the layman and explain how it differs from other string rewriting systems? Thanks. (I added a "cleanup-jargon" tag to the article for now.) -- HiEv 10:21, 8 October 2007 (UTC)
