theoretical computer science, in particular in formal language theory, Greibach's theorem states that certain properties of formal language classes are undecidable...

family of acceptors Greibach's theorem Sheila Greibach at the Mathematics Genealogy Project "Sheila Greibach". Sheila Greibach's Faculty page at UCLA...

p. 303)). Rice's theorem: a generalized formulation of Turing's second theorem (cf Hopcroft and Ullman p. 185ff) Greibach's theorem: undecidability in...

form Chomsky normal form Kuroda normal form Greibach, Sheila (January 1965). "A New Normal-Form Theorem for Context-Free Phrase Structure Grammars"....

L(G_{2})} is a subset of L ( G 1 ) {\displaystyle L(G_{1})} . Using Greibach's theorem, it can be shown that the two following problems are undecidable:...

grammars Aho's one-way nested stack automata Fischer's macro grammars Greibach's automata with stacks of stacks Maibaum's algebraic characterization Hayashi...

that is ε-free can be transformed into an equivalent LL(k) grammar in Greibach normal form (which by definition does not have rules with left recursion)...

family of languages Ginsburg & Greibach (1967) Nivat (1968) cf. Mateescu & Salomaa (1997) Ginsburg, Seymour; Greibach, Sheila (1967). "Abstract Families...

of inherently ambiguous context-free languages was proven with Parikh's theorem in 1961 by Rohit Parikh in an MIT research report. The language { x | x...

automata both acceptance conditions define the same family of languages. Theorem. For each pushdown automaton M {\displaystyle M} one may construct a pushdown...

pioneered and named The Internet of Things at M.I.T. Sanjeev Arora – PCP theorem Winifred "Tim" Alice Asprey – established the computer science curriculum...

(2). IEEE: 67–76. doi:10.1109/PGEC.1963.263416. Greibach, Sheila (1965). "A new normal-form theorem for context-free phrase structure grammars". Journal...

Deconstruction Dedekind cut Deduction Deduction and induction Deduction theorem Deductive Deductive-nomological model Deductive closure Deductive closure...

to the classification theorem for compact surfaces, MR3026641. Wood, Bill (2014), Review of A Guide to the Classification Theorem for Compact Surfaces...

the first meta-circular evaluator, contributed the structured program theorem Grady Booch, developer of Unified Modeling Language (UML) Kathleen Booth...

grammars, viz. Aho's one-way nested stack automata Fischer's macro grammars Greibach's automata with stacks of stacks Maibaum's algebraic characterization Hayashi...

 183–196. ISBN 3-540-20907-7. Zbl 1088.68117. Droste & Kuich (2009), p. 15, Theorem 3.4 Conway, J.H. (1971). Regular algebra and finite machines. London: Chapman...