First Page | Document Content | |
---|---|---|
Date: 2015-10-21 13:25:41Finite automata Model checking -automaton Bchi automaton Deterministic automaton Muller automaton Weak Bchi automaton | Parity and Generalised Büchi Automata Determinisation and Complementation Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in PhilosophyAdd to Reading ListSource URL: cgi.csc.liv.ac.ukDownload Document from Source WebsiteFile Size: 717,85 KBShare Document on Facebook |
A Structurally Dynamic Cellular Automaton with Memory in the Triangular Tessellation Ramón Alonso-Sanz ETSI Agrónomos (Estadística), C. Universitaria, Madrid, SpainDocID: 1v551 - View Document | |
Implementing Per Bak’s Sand Pile Model as a Two-Dimensional Cellular Automaton Leigh Tesfatsion 21 January 2009 Econ 308 Presentation OutlineDocID: 1uxU0 - View Document | |
An automaton model for forest algebras Antoine Delignat-Lavaud Department of Computer Science, Boston College Advisor: Howard Straubing June 1 - August 15, 2010DocID: 1ui1f - View Document | |
A Mobile Automaton: An Application of Artificial Intelligence TechniquesDocID: 1tUr5 - View Document | |
Complex Shift Dynamics of Some Elementary Cellular Automaton RulesDocID: 1tUbH - View Document |