Regular expressions. Closure properties. Sequential machines and finite state transducers. State minimization. Chomsky hierarchy grammars, pushdown acceptors and linear bounded automata. Closure ...
Most embedded systems are reactive by nature. They measure certain properties of their environment with sensors and react on changes. For example, they display something, move a motor, or send a ...