On the sets of real vectors recognized by finite automata in multiple bases
This thesis studies the properties of finite automata recognizing sets of real vectors encoded in positional notation using an integer base. We consider both general infinite-word automata, and the restricted class of weak deterministic automata, used, in particular, as symbolic data structures for...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Published: |
Universite de Liege
2011
|
| Subjects: | |
| Online Access: | http://bictel.ulg.ac.be/ETD-db/collection/available/ULgetd-03312011-135259/ |