В книге излагаются результаты работы авторов по созданию теории конечных автоматов, основанной на применении отношений...