
Deriving tests for the synchronous composition of deterministic complete Finite State Machines
Author(s) -
Igor Burdonov,
Isp Ras,
Alexander Kosachev,
Nina Yevtushenko
Publication year - 2018
Publication title -
naučnyj servis v seti internet
Language(s) - English
Resource type - Conference proceedings
ISSN - 2618-9542
DOI - 10.20948/abrau-2018-4
Subject(s) - finite state machine , computer science , composition (language) , finite state , state (computer science) , algorithm , machine learning , linguistics , philosophy , markov chain