3:50

3:25

2:54

3:47

2:08

Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science and discrete mathematics. The word automata comes from the Greek word αὐτόματα, which means "self-acting".

### Automata

## Formal language

## Mathematics Mathematical object

## Σ

- load more

### Variant definitions of automata

### Classes of automata

### Applications

### Automata simulators

### Connection to category theory