Minha intenção é definir uma função que permita simular a execução de um autômato finito determinista (DFA) dado.
De acordo com a definição formal um DFA é a 5-upla M = (Q, Σ, δ, q0, F) em que:
- Q é o conjunto de estados da máquina.
- Σ é um conjunto de símbolos denominado alfabeto, que compõem a entrada.
- δ é uma função de transição definida por δ : Q x Σ → Q.
- q0 ∈ Q é o estado inicial.
- F ⊆ Q é o conjunto de estados finais.
Eis a função que imaginei:
typedef std::set<unsigned> StateSet;
typedef std::set<char> Alphabet;
typedef std::list<std::function<unsigned(const unsigned&, const char&)>> TransitionTable;
void RunAutomaton (const StateSet &states, const Alphabet &alphabet, const TransitionTable &table, const unsigned &initState, const SateSet &finalStates) {
// Executa o autômato...
}
No entanto esse código não dá segurança nenhuma sobre os parâmetros da função. Eu queria ter a certeza de que a tabela tivesse os valores corretos, i.e, os caracteres e estados da tabela de transição fossem apenas caracteres presentes no alfabeto e na lista de estados, respectivamente. Também não há como ter certeza de que a lista de estados finais é um subconjunto da lista de estados original (primeiro argumento); e o estado inicial pertença à lista de estados.
Há alguma maneira de definir uma função de tal forma que eu tenha certeza que os argumentos passados estejam todos corretos sem que eu precise fazer verificações à mão?