Dispositivo dirigido por regras
Na Teoria das linguagens formais e dos autômatos, um dispositivo dirigido por regras (DDR) ou dispositivo guiado por regras é qualquer máquina formal cujo comportamento dependa exclusivamente de um conjunto finito de regras.[1] Desse modo, a cada instante de execução, a máquina determina uma configuração (chamada de configuração atual) que se alterna para a configuração seguinte com base em suas regras.
Essas regras definem, para cada configuração possível, um conjunto de configurações possíveis seguinte. Assim sendo, o DDR é dito determinístico se a cardinalidade do conjunto de de configurações possíveis seguinte é igual a 1. Caso contrário, ele é não-determinístico.
Referências
- ↑ Ramos, Marcus Vinícius Midena; Neto, João José e Vega, Ítalo Santiago (2009). Linguagens Formais. Teoria, Modelagem e Implementação 1 ed. Porto Alegre: Bookman. 656 páginas. ISBN 978-85-7780-453-5
Ver também[editar | editar código-fonte]
- Dispositivo adaptativo dirigido por regras
- Máquina de estados finitos
- Autômato adaptativo
- Máquina de Turing
