What people are saying - Write a review
We haven't found any reviews in the usual places.
General Definition of Formal Systems
15 other sections not shown
Other editions - View all
accepted algebraic algorithm alphabet 91 applied associate axiom CF-grammar CF-language coefficients combinatorial system computable function concatenation concept congruence Consider construct contains context Context-Sensitive Grammars corresponds defined definition derivation deterministic Dyck language empty word equation equivalence relation Example exists finite automaton finite number Formal Grammars formal system formula free monoid given Godel number grammar G homomorphism initial input instantaneous description integer intersection letters linear linear grammar linguistic mapping marker monomials moves the tape n-tuple neutral element notation noun obtained operation palindrome partially computable polynomials possible Post's problem power series problem productions proof proposition propositional calculus push-down automata push-down automaton quadruple recursively denumerable respect result rules semi-Thue system sentence sequence set of words standard K-language string structure subscripts subset switches syntactic terminal theorem transduction transformations Turing machine undecidable union of classes variables vocabulary write written