 |
|
What people are saying - Write a reviewWe haven't found any reviews in the usual places. Related books
Contents
1 other sections not shown Other editions - View allCommon terms and phrasesALGOL ALGOL 60 algorithm Äquivalenz augmented projection automata Beweis binary search tree Boolean Boolean functions class of languages coefficients Computer Science context-free grammars context-free languages controlword cylindre DECOMP define definiert Definition delineable denote deterministic deterministic Turing machines deux elements endlich endlichen entscheidbar erzeugt exists finite folgende folgenden formal language theory formula functions Funktionen gibt gilt gleich grammar pair Grammatik Grammatiken heißt Hence homomorphism hypergraphes Informatik input integer integral polynomial invariant jedem kongruente können langages algébriques languages accepted läßt Lemma linéaire linear lower bounds LR(k Menge Mengen monoïde syntactique monotone monotone functions multitape muß nodes nondeterministic planaires preuve problem Proof quantifier elimination rationnel real algebraic number recursive reduziert result Satz seien sequence Sprache Sprachen squarefree basis squarefree factorization subset syntactic monoid TAPE((log Theorem théorème tion Turing machines variables weighted path length Weise weitere wobei Wort Wortproblem zeigen References from web pagesbibtex bibliography lncs.bib In addition to the usual fields, some of the entries also contain ... IAM Bibliothek Datum: 09.03.04 Neubrückstrasse 10 Urheberliste ... Bibliographic information
|
