The Role of Theory in Computer Science
Essays Dedicated to Janusz Brzozowski
Nonfiction, Computers, Advanced Computing, Natural Language Processing, Computer Science, General Computing
| Author: | Stavros Konstantinidis, Nelma Moreira, Rogério Reis;Jeffrey Shallit | ISBN: | 9789813148215 |
| Publisher: | World Scientific Publishing Company | Publication: | April 25, 2017 |
| Imprint: | WSPC | Language: | English |
| Author: | Stavros Konstantinidis, Nelma Moreira, Rogério Reis;Jeffrey Shallit |
| ISBN: | 9789813148215 |
| Publisher: | World Scientific Publishing Company |
| Publication: | April 25, 2017 |
| Imprint: | WSPC |
| Language: | English |
This volume brings together the work of several prominent researchers who have collaborated with Janusz Brzozowski, or worked in topics he developed, in the areas of regular languages, syntactic semigroups of formal languages, the dot-depth hierarchy, and formal modeling of circuit testing and software specification using automata theory.
Contents:
- Reaction Systems: A Model of Computation Inspired by the Functioning of the Living Cell (A Ehrenfeucht, I Petre and G Rozenberg)
- Solving Fixed Point Equations over Complete Semirings (Z Ésik and W Kuich)
- Structure and Complexity of Some Subregular Language Families (M Holzer and M Kutrib)
- The Arduous Road to Modelling: Excerpts from Records of an Enjoyable Co-operation of Nearly 20 Years (H Jürgensen)
- Is Complementation Evil? (E L Leiss)
- Quasi-Distances and Weighted Finite Automata (T Ng, D Rappaport and K Salomaa)
- Open Problems about Regular Languages, 35 Years Later (J-É Pin)
- The Dot-Depth Hierarchy, 45 Years Later (J-É Pin)
- Depth of Closed Classes of Truth Functions in Many-valued Logic (A Salomaa)
- CSP for Parallelising Brzozowski's DFA Construction Algorithm (T Strauss, B W Watson, D G Kourie and L Cleophas)
- Programming Examples of Space-Filling Curves (A L Szilard)
Readership: Graduate students, researchers and academics in computer science.
Key Features:
- Prominent authors with a variety of research interests in theoretical computer science
This volume brings together the work of several prominent researchers who have collaborated with Janusz Brzozowski, or worked in topics he developed, in the areas of regular languages, syntactic semigroups of formal languages, the dot-depth hierarchy, and formal modeling of circuit testing and software specification using automata theory.
Contents:
- Reaction Systems: A Model of Computation Inspired by the Functioning of the Living Cell (A Ehrenfeucht, I Petre and G Rozenberg)
- Solving Fixed Point Equations over Complete Semirings (Z Ésik and W Kuich)
- Structure and Complexity of Some Subregular Language Families (M Holzer and M Kutrib)
- The Arduous Road to Modelling: Excerpts from Records of an Enjoyable Co-operation of Nearly 20 Years (H Jürgensen)
- Is Complementation Evil? (E L Leiss)
- Quasi-Distances and Weighted Finite Automata (T Ng, D Rappaport and K Salomaa)
- Open Problems about Regular Languages, 35 Years Later (J-É Pin)
- The Dot-Depth Hierarchy, 45 Years Later (J-É Pin)
- Depth of Closed Classes of Truth Functions in Many-valued Logic (A Salomaa)
- CSP for Parallelising Brzozowski's DFA Construction Algorithm (T Strauss, B W Watson, D G Kourie and L Cleophas)
- Programming Examples of Space-Filling Curves (A L Szilard)
Readership: Graduate students, researchers and academics in computer science.
Key Features:
- Prominent authors with a variety of research interests in theoretical computer science
