Representation of the program model using predicates

The object of research in this article is the process of modeling programs and their subsequent development. The purpose of this article is to develop a methodology for describing and building software models in the form of nondeterministic finite automat. To achieve this goal, a task was set to imp...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Radìoelektronnì ì komp'ûternì sistemi (Online) Jg. 2024; H. 1; S. 6 - 16
Hauptverfasser:	Holub, Serhii, Salapatov, Volodymyr, Nemchenko, Vadym
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	National Aerospace University «Kharkiv Aviation Institute 28.02.2024
Schlagworte:	an indeterminate finite automaton predicate procedural programming language temporal logic
ISSN:	1814-4225, 2663-2012
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!