Open AccessOn the Minimization Problem for Sequential Programs
Author(s) -
Vladimir A. Zakharov,
Шынар Рустамбековна Жайлауова
Publication year - 2017
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2017-4-415-433
Subject(s) - decidability , equivalence (formal languages) , minification , finite state machine , basis (linear algebra) , equivalence relation , computer science , state (computer science) , logical equivalence , mathematics , algorithm , discrete mathematics , mathematical optimization , geometry