Une Double Hierarchie Infinie de Langages Verifiables

Keywords

Philosophy

References

• A Grammatical Characterization of One-Way Nondeterministic Stack LanguagesMichael A. Harrison, Mario Schkolnick — 1971
• One-way stack automataSeymour Ginsburg, Sheila A. Greibach, Michael A. Harrison — 1967
• Checking Automata and One-Way Stack LanguagesSheila A. Greibach — 1969
• Finite-Turn Checking AutomataRani Siromoney — 1971
• Intercalation theorems for stack languagesWilliam F. Ogden — 1969
• On omega context free languages which are Borel sets of infinite rankOlivier Finkel — 2003
• Introduction to Combinatorial AnalysisR. A. Leibler, John Riordan — 1958
• Une hierarchie infinie de cones d'accepteurs vérificateursF. Rodriguez — 1973
• Cones d'accepteurs application a l'etude d'une hierarchie infinie de cones rationnels de langages d'accepteurs verificateursF. Rodriguez — 1973

Cited by

• Une note sur la propriété de préfixeMichel Latteux — 1977
• One Way Finite Visit AutomataSheila A. Greibach — 1978
• Familles de Langages Fermees par Crochet OuvertF. Rodriguez — 1979
• On languages with a certain prefix propertyRonald V. Book — 1976
• Variations of a New Machine ModelJan Van Leeuwen — 1976
• A Pumping Lemma for Two-Way Finite TransducersTim Smith — 2014
• Familles de languages fermées par crochet et crochet ouvertF. Rodriguez — 1977

Related papers

• Refutação do Argumento Ontológico, ou Filosofia Crítica versus Filosofia DogmáticaAndréa Faggion — 2011
• Spinoza as reader of gassendi, pierre'objections'to Descartes, rene'meditations'-so-called metaphysicsB. Rousset — 1994