Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Recursive tile systems"'
Autor:
Chédor, Sébastien
L'une des façons les plus efficace de s'assurer du bon fonctionnement d'un système informatique est de les représenter par des modèles mathématiques. De nombreux travaux ont été réalisés en utilisant des automates finis comme modèles, nous
Externí odkaz:
http://www.theses.fr/2014REN1S002/document
Autor:
Chédor, Sébastien
Publikováno v:
Autre [cs.OH]. Université de Rennes, 2014. Français. ⟨NNT : 2014REN1S002⟩
Autre [cs.OH]. Université Rennes 1, 2014. Français. ⟨NNT : 2014REN1S002⟩
Autre [cs.OH]. Université Rennes 1, 2014. Français. ⟨NNT : 2014REN1S002⟩
An effective way to ensure the proper functioning of a computer system is to represent it by using mathematical models . Many studies have been conducted using finite automata as models, in this thesis we try to extend these works to infinite models.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f049c38ee365041bcc373e2bb058856d
https://theses.hal.science/tel-00980800/file/CHEDOR_Sebastien.pdf
https://theses.hal.science/tel-00980800/file/CHEDOR_Sebastien.pdf