Automata Theory. - Sergio de Agostlno; Raymond Greenlaw (Encyclopedia of Information Systems, 2002)