Identificada facilidade do cliente em entender uma especificação matemática, é correto utilizar, também, na especificação dos requisitos, notações baseadas em máquinas de estado finito, uma vez que elas podem reduzir a ambiguidade de um documento de requisitos.