Cover Image
Read Now

Language Equations

Beginning with an informal introduction to language equations, this book presents a framework for a general theory for solving systems of equations and relations between languages. Classical language equations, generalized derivatives, Boolean language equations, and implicit equations are presented...

Full description

Bibliographic Details
Main Author: Leiss, Ernst L.
Format: eBook
Language:English
Published: New York, NY Springer New York 1999, 1999
Edition:1st ed. 1999
Series:Monographs in Computer Science
Subjects:
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Computer Science
Formal Languages And Automata Theory
Machine Theory
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 02026nmm a2200325 u 4500
001 EB000618942
003 EBX01000000000000001348369
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9781461221562 
100 1 |a Leiss, Ernst L. 
245 0 0 |a Language Equations  |h Elektronische Ressource  |c by Ernst L. Leiss 
250 |a 1st ed. 1999 
260 |a New York, NY  |b Springer New York  |c 1999, 1999 
300 |a XVI, 216 p  |b online resource 
505 0 |a An Informal Introduction to Language Equations -- Basic Definitions -- Classical Language Equations and the Substitution Property -- Boolean Language Equations -- More on Generalized Derivatives -- Star Equations -- Explicit Equations Over a One-Letter Alphabet -- Implicit Equations With Union and Left Concatenation -- Implicit Equations Over äaü With Union, Concatenation and Star -- Explicit Relations With Union and Left-Concatenation -- Implicit Relations With Union and Left-Concatenation -- Two-Sided Language Equations -- Mixed Systems -- Open Problems 
653 |a Compilers (Computer programs) 
653 |a Computer Science Logic and Foundations of Programming 
653 |a Compilers and Interpreters 
653 |a Computer science 
653 |a Formal Languages and Automata Theory 
653 |a Machine theory 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Monographs in Computer Science 
028 5 0 |a 10.1007/978-1-4612-2156-2 
856 4 0 |u https://doi.org/10.1007/978-1-4612-2156-2?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.131 
520 |a Beginning with an informal introduction to language equations, this book presents a framework for a general theory for solving systems of equations and relations between languages. Classical language equations, generalized derivatives, Boolean language equations, and implicit equations are presented systematically. An exploration of mixed systems and open problems rounds out the presentation 

Similar Items