4
votes
2answers
98 views

Have action/predicate systems (or similar) been considered in the literature?

Question. Has the following concept, or anything similar, been considered in the literature? Definition. An action/predicate system consists of sets $A$ (the actions) and $X$ (the predicates) such ...
0
votes
1answer
63 views

Automata and power series

I am taking a class on Automata and Formal Languages and I need to solve an exercise, but I have no idea where to start from. It sounds like this: Decide the coefficients of the words in ...
1
vote
1answer
148 views

Best book for automata theory and compiler design?

I am currently pursuing my M.Tech in Digital Image Processing, I want to take admission in PhD program using subjects either Formal Language and Automata Theory or Compiler Design, Can anyone please ...
7
votes
0answers
243 views

What is the class of languages accepted by DFAs whose transition monoids are transitive permutation groups?

In the Wiki page A permutation automaton, or pure-group automaton, is a deterministic finite automaton such that each input symbol permutes the set of states. ..... A formal language is p-regular ...
4
votes
1answer
62 views

Gliders, static structures in various (dynamic) systems

Structures, i.e. symmetries over time, appear in various systems: gliders in cellular automata, like Game of Life or Rule 110, unmatched string's parts in rewrite systems – unchanged in multiple ...
6
votes
1answer
289 views

Automata theory on infinite words: any video lectures?

I am fun of automata theory. Can you suggest good video lectures on the subject? (there is a good one here, but it is accessible from RWTH University only)