Search alternatives:
finite language » finite languages, definite languages, cofinite languages
simple language » bible language, template language

1
by Roche, Emmanuel
Published 1997
MIT Press
Subjects: ...LINGUISTICS & LANGUAGE/General...

2
Published 1977
Springer Berlin Heidelberg
Table of Contents: ... of 2-way finite-state transducers and simple programs on strings -- The sequence equivalence problem...

3
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Closure of Growing Context-Sensitive Languages -- Well Quasi Orders and the Shuffle Closure of Finite Sets...

4
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... hierarchies -- Complete proof systems for observation congruences in finite-control ?-calculus -- Concurrent...

5
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Complexity of Regular Languages -- General Algorithms for Testing the Ambiguity of Finite Automata...

6
by Crespi Reghizzi, Stefano
Published 2009
Springer London
Table of Contents: ...Syntax -- Finite Automata as Regular Language Recognizers -- Pushdown Automata and Top-down Parsing...

7
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... -- Covering Problems from a Formal Language Point of View -- Regular Languages Generated by Reflexive Finite...

8
Published 1981
Springer Berlin Heidelberg
Table of Contents: ...'s tour of countable nondeterminism -- The complexity of decision problems for finite-turn multicounter...

9
by Crespi Reghizzi, Stefano, Breveglieri, Luca, Morzenti, Angelo
Published 2019
Springer International Publishing
Table of Contents: ...Introduction -- Syntax -- Finite Automata as Regular Language Recognizers -- Pushdown Automata...

10
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... with finite bisimulations -- Generalized Sturmian languages -- Polynomial closure and unambiguous product...

11
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... Is inBüchi Class -- On Message Sequence Graphs and Finitely Generated Regular MSC Languages -- Invited Talk...

12
Published 1993
Springer Berlin Heidelberg
Table of Contents: ...-finite, and hypersimple languages -- Inclusion is undecidable for pattern languages -- New decidability...

13
Published 2021
Springer International Publishing
Table of Contents: ... over Finite and Infinite Words -- State Complexity of Projection on Languages Recognized by Permutation...

14
Published 2002
Springer Berlin Heidelberg
Table of Contents: ...-by-Value Setting -- Existential Types for Imperative Languages -- Another Type System for In-Place Update...

15
Published 1984
Springer Berlin Heidelberg
Table of Contents: ... language -- Relational algebra operations and sizes of relations -- Some results about finite and infinite...

16
Published 2020
Springer International Publishing
Table of Contents: ... and the Edit-Distance for Parsing Expression Languages -- An Approach to the Herzog-Schonheim Conjecture Using...

17
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... -- Definability in the Infix Order on Words -- Two-Sided Bounds for the Growth Rates of Power-Free Languages...

18
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... finite state transducers and monadic second-order logic -- Partially Ordered Regular Languages for Graph...

19
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... Determinism for Two-Way Finite Automata: Generalizations of Sipser’s Separation -- Residual Languages...

20
Published 1978
Springer Berlin Heidelberg
Table of Contents: ...Simple EOL forms under uniform interpretation generating CF languages -- Codes : Unequal...