Search alternatives:
automatic theory » automatic theorem, automation theory, axiomatic theory
automata » automated
Cover Image
Read Now

1
Published 1981
Springer Berlin Heidelberg
Table of Contents: “... in relational database theory -- A new characterization of the regular languages -- Langages Reconnaissables et...”
Cover Image
Read Now

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... in Spatial Language Dynamics -- On the Average Size of Glushkov’s Automata -- Tiling the Plane with a Fixed...”
Cover Image
Read Now

3
Published 2014
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

4
Published 2016
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

5
Published 2015
Springer International Publishing
Table of Contents: “...Algorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics...”
Cover Image
Read Now

6
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... -- Interval Logics and ωB-Regular Languages.- Eliminating Stack Symbols in Push-Down Automata and Linear...”
Cover Image
Read Now

7
by Kandar, Shyamalendu
Published 2012
Dorling Kindersley (India)
Subjects: “...Formal languages / http://id.loc.gov/authorities/subjects/sh85050802...”
Cover Image
Read Now

8
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- Tree-Walking Automata -- Formal Language Tools for Template-Guided DNA...”
Cover Image
Read Now

9
Published 2018
Springer International Publishing
Table of Contents: “... representation of finite automata -- Model Learning as a Satisfiability Modulo Theories Problem -- Default Logic...”
Cover Image
Read Now

10
by Sunitha, K. V. N., Kalyani, N.
Published 2015
Pearson
Table of Contents: “... Abbreviations; About the Authors; 1. Mathematical Preliminaries and Formal Languages; 1.1 Set Theory; 1.1.1...”
Cover Image
Read Now

11
by Pettorossi, Alberto
Published 2022
Springer International Publishing
Table of Contents: “...1 Formal Grammars and Languages -- 2 Finite Automata and Regular Grammars -- 3 Pushdown Automata...”
Cover Image
Read Now

12
by Chavan, Pallavi, Jadhav, Ashish
Published 2023
Academic Press
Table of Contents: “... Automata theory with recent trends -- 8.1 Objectives and outcomes -- 8.2 Introduction -- 8.3 Automata...”
Cover Image
Read Now

13
Published 1975
Springer Berlin Heidelberg
Table of Contents: “...Formal language theory and theoretical computer science -- Le cylindre des langages lineaires n'est...”
Cover Image
Read Now

14
by Meduna, Alexander
Published 2000
Springer London
Table of Contents: “...INTRODUCTION: Languages. Formalization of Languages. Expressions and Grammars. Translations...”
Cover Image
Read Now

15
by Chiswell, Ian M.
Published 2009
Springer London
Table of Contents: “.... Recursively Enumerable Sets and Languages -- 4. Context-free language -- 5. Connections with Group Theory -- A...”
Cover Image
Read Now

16
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...”
Cover Image
Read Now

17
by Holt, Derek F., Rees, Sarah, Röver, Claas E.
Published 2017
Cambridge University Press
Subjects: “...Formal languages...”
Cover Image
Read Now

18
Published 1982
Springer Berlin Heidelberg
Table of Contents: “...An iteration theorem for simple precedence languages -- The power of non-rectilinear holes -- Fixed...”
Cover Image
Read Now

19
Published 2014
Springer International Publishing
Table of Contents: “...Finite Automata and Regular Languages On Automatic Transitive Graphs.-  Upper Bounds on Syntactic...”
Cover Image
Read Now

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