Formal languages, automata and numeration systems, 2, Applications to recognizability and decidability
The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as that initiated by J.R. Büchi) or between combinatorics on words and number theory has paved the way to...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
London
ISTE Ltd
2014
|
| Schriftenreihe: | Networks and telecommunications series
|
| Schlagworte: | |
| Online-Zugang: | FRO01 UBG01 URL des Erstveröffentlichers |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|