Zobrazeno 1 - 10
of 51
pro vyhledávání: '"Subset construction"'
Autor:
Syzdykov Mirzakhmet
Publikováno v:
Open Computer Science, Vol 7, Iss 1, Pp 24-28 (2017)
In this work we present the algorithms to produce deterministic finite automaton (DFA) for extended operators in regular expressions like intersection, subtraction and complement. The method like “overriding” of the source NFA(NFA not defined) wi
Externí odkaz:
https://doaj.org/article/02248d28f38541f5b765f1d7260fd376
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Gianfranco Lamperti
Publikováno v:
Software: Practice and Experience. 50:335-367
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Michele Dusi, Gianfranco Lamperti
Publikováno v:
Intelligent Decision Technologies ISBN: 9789811559242
KES-IDT
KES-IDT
A translated finite automaton (TFA) results from a translation of a deterministic finite automaton (DFA). A translation is based on a mapping from the alphabet of the DFA to a new alphabet, where each symbol in the original alphabet is substituted wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c90b64990b71d433ed670507fdd58756
http://hdl.handle.net/11379/532419
http://hdl.handle.net/11379/532419
Autor:
Gabi Goobar, Tobias, Söderberg, Samuel
Strategies in games have since long been of interestto humans, mainly to beat our friends in games such as Chessor Monopoly, but also to model real world scenarios. Thesestrategies are often difficult to find, even more so if the playerslack importan
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-308453
The aim of this project was to improve upon a toolfor strategy synthesis for multi-agent games of imperfect informationagainst nature. Another objective was to compare the toolwith the original tool we improved upon and the Strategic ModelChecker (SM
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-308452
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Mirzakhmet Syzdykov
Publikováno v:
Open Computer Science, Vol 7, Iss 1, Pp 24-28 (2017)
In this work we present the algorithms to produce deterministic finite automaton (DFA) for extended operators in regular expressions like intersection, subtraction and complement. The method like “overriding” of the source NFA(NFA not defined) wi