Connections With Other Notions
A semi-Thue system is also a term-rewriting system—one that has monadic words (functions) ending in the same variable as left- and right-hand side terms, e.g. a term rule is equivalent with the string rule .
A semi-Thue system is also a special type of Post canonical system, but every Post canonical system can also be reduced to an SRS. Both formalism are Turing complete, and thus equivalent to Noam Chomsky's unrestricted grammars, which are sometimes called semi-Thue grammars. A formal grammar only differs from a semi-Thue system by the separation of the alphabet in terminals and non-terminals, and the fixation of a starting symbol amongst non-terminals. A minority of authors actually define a semi-Thue system as a triple, where is called the set of axioms. Under this "generative" definition of semi-Thue system, an unrestricted grammar is just a semi-Thue system with a single axiom in which one partitions the alphabet in terminals and non-terminals, and makes the axiom a nonterminal. The simple artifice of partitioning the alphabet in terminals and non-terminals is a powerful one; it allows the definition of the Chomsky hierarchy based on the what combination of terminals and non-terminals rules contain. This was a crucial development in the theory of formal languages.
Read more about this topic: Semi-Thue System
Famous quotes containing the words connections and/or notions:
“I have no connections here; only gusty collisions,
rootless seedlings forced into bloom, that collapse.
...
I am the Visiting Poet: a real unicorn,
a wind-up plush dodo, a wax museum of the Movement.
People want to push the buttons and see me glow.”
—Marge Piercy (b. 1936)
“Your notions of friendship are new to me; I believe every man is born with his quantum, and he cannot give to one without robbing another. I very well know to whom I would give the first place in my friendship, but they are not in the way, I am condemned to another scene, and therefore I distribute it in pennyworths to those about me, and who displease me least, and should do the same to my fellow prisoners if I were condemned to a jail.”
—Jonathan Swift (16671745)