Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: formal languages and (automata OR automated) theory
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Showing
1
-
20
of
2,937
Search:
'formal languages and (automata OR automated) theory'
,
query time: 0.05s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Automata
theory
and
formal
languages
by
Chavan, Pallavi
Published 2023
Academic Press, an imprint of Elsevier
Subjects:
“
...
Formal
languages
/ http://id.loc.gov/authorities/subjects/sh85050802...
”
Call Number:
QA267
Read Now
2
Automata
theory
and
formal
languages
by
Kandar, Shyamalendu
Published 2012
Dorling Kindersley (India)
Subjects:
“
...
Formal
languages
/ http://id.loc.gov/authorities/subjects/sh85050802...
”
Call Number:
QA267
Read Now
3
Formal
languages
and
automata
theory
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...
”
Call Number:
QA267.3
Read Now
4
Automata
Theory
and
Formal
Languages
: Fundamental Notions, Theorems, and Techniques
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
...
”
Read Now
5
Automata
Theory
and
Formal
Languages
: 2nd GI Conference, Kaiserslautern, May 20-23, 1975
Published 1975
Springer Berlin Heidelberg
Table of Contents:
“
...
Formal
language
theory
and theoretical computer science -- Le cylindre des langages lineaires n'est...
”
Read Now
6
Introduction to
automata
theory
,
formal
languages
and computation
by
Kandar, Shyamalendu
Published 2013
Dorling Kindersley (India)
Subjects:
“
...
Formal
languages
/ http://id.loc.gov/authorities/subjects/sh85050802...
”
Call Number:
QA263
Read Now
7
Introduction to
formal
languages
,
automata
theory
and computation
by
Krithivasan, Kamala
Published 2009
Dorling Kindersley
Table of Contents:
“
...Preliminaries -- Grammars -- Finite State
Automata
-- Finite State
Automata
: Characterization...
”
Call Number:
QA267.3
Read Now
8
Automata
and
Languages
: Theory and Applications
by
Meduna, Alexander
Published 2000
Springer London
Table of Contents:
“
...INTRODUCTION:
Languages
.
Formalization
of
Languages
. Expressions and Grammars. Translations...
”
Read Now
9
Semirings,
Automata
,
Languages
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
...
”
Read Now
10
Groups,
languages
, and
automata
by
Holt, Derek F.
,
Rees, Sarah
,
Röver, Claas E.
Published 2017
Cambridge University Press
Subjects:
“
...
Formal
languages
...
”
Call Number:
QA174.2
Read Now
11
Automata
,
Languages
and Programming : Ninth Colloquium Aarhus, Denmark, July 12–16, 1982
Published 1982
Springer Berlin Heidelberg
Table of Contents:
“
...An iteration theorem for simple precedence
languages
-- The power of non-rectilinear holes -- Fixed...
”
Read Now
12
6th Conference on
Automated
Deduction : New York, USA, June 7-9, 1982
Published 1982
Springer Berlin Heidelberg
Table of Contents:
“
...Solving open questions with an
automated
theorem-proving program -- STP: A mechanized logic...
”
Read Now
13
Automata
,
Languages
and Programming : Eighth Colloquium, Acre (Akko), Israel, July 13-17, 1981
Published 1981
Springer Berlin Heidelberg
Table of Contents:
“
... in relational database
theory
-- A new characterization of the regular
languages
-- Langages Reconnaissables et...
”
Read Now
14
Automata
theory
with modern applications
by
Anderson, James A.
,
Head, Thomas J.
Published 2006
Cambridge University Press
Subjects:
“
...
Formal
languages
...
”
Call Number:
QA267
Read Now
15
An Introduction to
Formal
Language
Theory
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...
”
Read Now
16
Automata
Implementation : Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... -- Implementing WS1S via finite
automata
: Performance issues -- Multi-tape
automata
for speech and
language
...
”
Read Now
17
Finite
Automata
, Their Algebras and Grammars : Towards a Theory of Formal Expressions
by
Büchi, J. Richard
Published 1989
Springer New York
Table of Contents:
“
...
Automata
-- 7 General Alphabets: The
Theory
of Push-down
Automata
and Context-free
Languages
-- Conclusion...
”
Read Now
18
Programming-Based
Formal
Languages
and
Automata
Theory
: Design, Implement, Validate, and Prove
by
Morazán, Marco T.
Published 2024
Springer Nature Switzerland
Table of Contents:
“
... of Proofs -- Part II: Regular
Languages
-- 4. Regular Expressions -- 5. Deterministic Finite-State Machines...
”
Read Now
19
Automata
,
Languages
and Programming : Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings
Published 1980
Springer Berlin Heidelberg
Table of Contents:
“
...: An application of abstract model
theory
-- Pebbling mountain ranges and its application to DCFL-recognition...
”
Read Now
20
Automata
,
Languages
and Programming : 10th Colloquium Barcelona, Spain, July 18–22, 1983
Published 1983
Springer Berlin Heidelberg
Table of Contents:
“
... algorithms in equational
theories
-- Tree
automata
and attribute grammars -- Effectively given spaces --...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
1,015
006 - Special computer methods
747
004 - Data processing & computer science
522
040 - [Unassigned]
257
511 - General principles of mathematics
102
518 - Numerical analysis
60
more ...
003 - Systems
54
025 - Library operations
37
160 - Logic
26
621 - Applied physics
22
512 - Algebra
18
510 - Mathematics
13
629 - Other branches of engineering
12
670 - Manufacturing
10
519 - Probabilities & applied mathematics
9
570 - Life sciences; biology
9
410 - Linguistics
8
620 - Engineering & allied operations
8
500 - Natural sciences & mathematics
5
530 - Physics
5
300 - Social sciences
4
371 - Schools & their activities; special education
4
401 - Philosophy & theory
4
515 - Analysis
4
658 - General management
4
000 - Computer science, information & general works
3
120 - Epistemology, causation & humankind
3
330 - Economics
3
370 - Education
3
400 - Language
3
650 - Management & auxiliary services
3
001 - Knowledge
2
501 - Philosophy & theory
2
514 - Topology
2
516 - Geometry
2
600 - Technology
2
062 - Organizations in British Isles; in England
1
070 - News media, journalism & publishing
1
100 - Philosophy & psychology
1
111 - Ontology
1
140 - Specific philosophical schools
1
153 - Mental processes & intelligence
1
170 - Ethics
1
180 - Ancient, medieval & eastern philosophy
1
301 - Sociology & anthropology
1
303 - Social processes
1
338 - Production
1
380 - Commerce, communications & transportation
1
407 - Education, research & related topics
1
418 - Standard usage & applied linguistics
1
541 - Physical chemistry
1
576 - Genetics & evolution
1
601 - Philosophy & theory
1
610 - Medicine & health
1
686 - Printing & related activities
1
745 - Decorative arts
1
781 - General principles & musical forms
1
808 - Rhetoric & collections of literature
1
900 - History & geography
1
see all ...
less ...
Language
English
2,899
German
34
Italian
3
Undetermined
1
Collection
Springer eBooks 2005-
1,861
Springer Book Archives -2004
1,038
O'Reilly
17
Cambridge Books Online
8
Elsevier eBook collection Mathematics
5
MIT Press eBook Archive
4
more ...
Directory of Open Access Books
2
Edward Elgar eBook Archive
1
Springer Lecture Notes Archiv 1964-1996
1
see all ...
less ...
Author
Rozenberg, Grzegorz
31
Voronkov, Andrei
24
Margaria, Tiziana
19
Paun, Gheorghe
16
Salomaa, Arto
16
Nerode, Anil
15
more ...
Peters, James F.
15
Steffen, Bernhard
15
Ehrig, Hartmut
14
Martín-Vide, Carlos
13
Gelbukh, Alexander
11
Karhumäki, Juhani
11
Potapov, Igor
11
Rudolph, Sebastian
11
de Queiroz, Ruy
11
Bowen, Jonathan P.
10
Gabbay, Dov M.
10
Liu, Shaoying
10
Gottlob, Georg
9
Liu, Zhiming
9
Narukawa, Yasuo
9
Skowron, Andrzej
9
Ölveczky, Peter Csaba
9
Bouchon-Meunier, Bernadette
8
Broy, Manfred
8
Börger, Egon
8
Montanari, Ugo
8
Wirsing, Martin
8
Calude, Cristian S.
7
Dershowitz, Nachum
7
Engels, Gregor
7
Hähnle, Reiner
7
Jouannaud, Jean-Pierre
7
Kuznetsov, Sergei O.
7
Legay, Axel
7
Li, Wei
7
Möller, Bernhard
7
Nipkow, Tobias
7
Ong, Luke
7
Orlowska, Ewa
7
Palamidessi, Catuscia
7
Perner, Petra
7
Wang, Dongming
7
Artemov, Sergei
6
Bernardo, Marco
6
Cavalcanti, Ana
6
Croitoru, Madalina
6
Dediu, Adrian-Horia
6
Duan, Zhenhua
6
Ebbinghaus, Heinz-Dieter
6
Eiter, Thomas
6
Gnesi, Stefania
6
Graf, Susanne
6
Greco, Salvatore
6
Hanus, Michael
6
Ibarra, Oscar H.
6
Kelemen, Jozef
6
Kleine Büning, Hans
6
Kreowski, Hans-Jörg
6
Mauri, Giancarlo
6
Méry, Dominique
6
Pighizzini, Giovanni
6
Pogodalla, Sylvain
6
Richter, Michael M.
6
Rossi, Francesca
6
Satoh, Ken
6
Schewe, Klaus-Dieter
6
Schlechta, Karl
6
Truthe, Bianca
6
Bekki, Daisuke
5
Bjørner, Dines
5
Butler, Michael
5
Calmet, Jacques
5
Cerone, Antonio
5
Diekert, Volker
5
Dowek, Gilles
5
Faber, Wolfgang
5
Fernau, Henning
5
Fisher, Michael
5
Ganter, Bernhard
5
Goertzel, Ben
5
Grzymala-Busse, Jerzy W.
5
Hameurlain, Abdelkader
5
Henzinger, Thomas A.
5
Hitzler, Pascal
5
Jantke, Klaus P.
5
Jäger, Gerhard
5
Kirchner, Claude
5
Kutrib, Martin
5
Libkin, Leonid
5
Manea, Florin
5
Mayr, Heinrich C.
5
Medina, Jesús
5
Meduna, Alexander
5
Meinke, Karl
5
Meseguer, José
5
Moreira, Nelma
5
Métais, Elisabeth
5
Nagl, Manfred
5
Nielsen, Mogens
5
see all ...
less ...
Recently Uploaded
Last Month
29
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=formal+languages+and+%28automata+OR+automated%29+theory&type=AllFields
Send by Email
×
Loading...