Search

Your search keyword '"Ekaterina A. Nazarova"' showing total 1 results
Start Over Author "Ekaterina A. Nazarova" Publisher keldysh institute of applied mathematics
1 results on '"Ekaterina A. Nazarova"'

1. Checking equivalence of extended finite automata

Author

Ekaterina Andreevna Nazarova and Ilya Stanislavovich Poroshin

Abstract

The state machine can be used as a model for describing and analysis of the behavior of discrete systems. This article proposes approximate algorithm for checking the equivalence of two extended finite automata, based on the concept of predicate abstraction. An experimental assessment of the similarity of the extended finite automaton and its predicate abstraction.

Published
2022
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results