Аннотация:
Обзор содержит результаты, относящиеся к поведенческой и абстрактной теории конечных автоматов, являющиеся развитием содержащихся в предыдущем обзоре авторов результатов по теории представления автоматов с заданной точностью относительно различных классов и использования при их анализе идентификаторов состояний.