What people are saying - Write a review
We haven't found any reviews in the usual places.
Generalised DOL trees
On isomorphic representation of nondeterministic tree automata
Some Remarks on Directable Automata
24 other sections not shown
Other editions - View all
A-free accepting algorithm alphabet appearance checking applied arbitrary automata automaton axiom binary CD grammar systems CDGS communicating grammar systems compact elements Computer Science consider construct contains context context-sensitive context-sensitive languages Corollary Csuhaj-Varju current sentential form Dassow defined Definition denoted deterministic dttr edges elements family of languages formal language theory function graph Hence Hungary hybrid CD inclusion intersection property introduced isomorphic Lemma linear matrix grammars minimal clone monodependent Moreover N U T natural language nondeterministic nonterminal obtain occurrence operation parallel communicating grammar Paun PC grammar Petri nets problem Proof Proposition prove query symbols recursively enumerable languages regular language relation replicating system respectively rewriting step rules Salomaa sch(R semantic sentential form sequence set of FDs simulated Steiner point string subset Szeged team CD grammar terminal terminal symbols test tube systems Theorem tree languages word