6 pages matching unlabelled initial vertices in this book
Results 1-3 of 6
What people are saying - Write a review
We haven't found any reviews in the usual places.
alge algebra G algebraic 1NESA Arbib and Give'on automata barred letters carrier Chapter column q,z concatenation context-free languages Definition denote deterministic pushdown automaton DOAG DOAG's Doctor of Philosophy E-algebra G E-DOAG E-functions E-tree encoded E-DOAG extended algebraic automaton extended one-way stack finite automaton finite control function defined Given a E-algebra given input word graded set identity function INESA's input alphabet input node input symbol input tape integer labelled languages accepted layer Let G matrix representation n-tuple n+1 is set nonconstant functions nonerasing stack automaton one-way nonerasing stack one-way stack automaton ordered pair output location specifications output tape pointer is moved printed register n+1 Schiitzenberger semigroup of input set of functions set Q species square matrix stack alphabet stack configuration stack pointer stack symbol string of operators subset Suppose theory unlabelled initial vertices variety relations vertex in level Wiegold operator semigroup Z-algebra Z-functions