IEEE conference record of 1969 tenth annual Symposium on Switching and Automata Theory: papers presented at the tenth annual Symposium, Waterloo, Ontario, Canada, October 15-17, 1969
Institute of Electrical and Electronics Engineers, 1969 - Computers - 276 pages
What people are saying - Write a review
We haven't found any reviews in the usual places.
active register acyclic Adjunct Grammars algorithm alphabet applied automata Automata Theory automaton behavior diagram binary Boolean closure column complexity computed consider construct contains context context free grammar context-free languages control module control network Corollary corresponding CS(k defined Definition denote derivation deterministic elements entry equivalent example exists FETCH finite set FT(E FT(n full AFL given grammar G Hence initial input string integer iterative Lemma Let G linear LR(k matrix Moore machine multiplications n-tuple nested normal class obtained operations output links pair functions parse passive register path sensitizing tests probabilistic procedure processor Proof pushdown recursive functions regular sets relations result rightmost derivation section graph sensitizing tests sequence sequential machines shown ST(E sT(n stack step stochastic subset symbol tape terminal symbols Theorem Theory tion tree structure Turing machine variables vector vertex vertices well-formed