Search alternatives:
languages » language
automata » automated, automatic

1
Published 1975
Springer Berlin Heidelberg
Table of Contents: ...Formal language theory and theoretical computer science -- Le cylindre des langages lineaires n'est...

2
by Meduna, Alexander
Published 2000
Springer London
Table of Contents: ...INTRODUCTION: Languages. Formalization of Languages. Expressions and Grammars. Translations...

3
by Kuich, W., Salomaa, A.
Published 1986
Springer Berlin Heidelberg
Table of Contents: ... Automata and Counter Automata -- III. Algebraic Systems -- 14. Algebraic Series and Context-Free Languages...

4
Published 1982
Springer Berlin Heidelberg
Table of Contents: ...An iteration theorem for simple precedence languages -- The power of non-rectilinear holes -- Fixed...

5
Published 1981
Springer Berlin Heidelberg
Table of Contents: ... in relational database theory -- A new characterization of the regular languages -- Langages Reconnaissables et...

6
by Moll, Robert N., Arbib, Michael A., Kfoury, A.J.
Published 1988
Springer New York
Table of Contents: ... -- 8 The Formal Description of Natural Languages -- 8.1 The Aims of Linguistic Theory -- 8.2...

7
Published 1980
Springer Berlin Heidelberg
Table of Contents: ...: An application of abstract model theory -- Pebbling mountain ranges and its application to DCFL-recognition...

8
Published 1983
Springer Berlin Heidelberg
Table of Contents: ... algorithms in equational theories -- Tree automata and attribute grammars -- Effectively given spaces --...

9
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... technique with geometric applications -- Hierarchies of one-way multihead automata languages -- Partitioning...

10
Published 1986
Springer Berlin Heidelberg
Table of Contents: ... -- Min Cut is NP-complete for edge weighted trees -- Alternating automata, the weak monadic theory...

11
Published 1988
Springer Berlin Heidelberg
Table of Contents: ...An introduction to automata network theory -- Arrays, automata and groups — Some interconnections...

12
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... variables -- A newapproach to formal language theory by kolmogorov complexity -- Dynamic algorithms in D.E...

13
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... competitive tours from local information -- Treewidth and pathwidth of permutation graphs -- A theory of even...

14
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... by exploiting the environment -- A model of intuitionistic affine logic from stable domain theory...

15
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... sur des mots infinis -- Star-free ?-languages and first order logic -- A formal proof system...

16
Published 1984
Springer Berlin Heidelberg
Table of Contents: ... -- Cancellation, pumping and permutation in formal languages -- A hardware implementation of the CSP primitives...

17
Published 1990
Springer Berlin Heidelberg
Table of Contents: ... of reasonable space measures -- A formal study of learning via queries -- Language learning by a “team...

18
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... -- Two P-complete problems in the theory of the reals -- L morphisms: Bounded delay and regularity...

19
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... -- Abelian squares are avoidable on 4 letters -- Polynomial size test sets for context-free languages...

20
by Becker, Heinrich
Published 1977
Vieweg+Teubner Verlag
Table of Contents: ...I. Einführung in die Theorie der formalen Sprachen -- I.1 Natürliche Sprachen -- I.2 Die...