Semi-Thue System - Connections With Other Notions

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:

    ... feminism is a political term and it must be recognized as such: it is political in women’s terms. What are these terms? Essentially it means making connections: between personal power and economic power, between domestic oppression and labor exploitation, between plants and chemicals, feelings and theories; it means making connections between our inside worlds and the outside world.
    Anica Vesel Mander, U.S. author and feminist, and Anne Kent Rush (b. 1945)

    The idea of the sacred is quite simply one of the most conservative notions in any culture, because it seeks to turn other ideas—uncertainty, progress, change—into crimes.
    Salman Rushdie (b. 1947)