Details

Autor(en) / Beteiligte

• SILVÁŠI, Frantisek
• TOMÁŠEK, Martin

Titel

EXTENDING LEAN CELLULAR AUTOMATA FRAMEWORK – BOUNDARY CONDITIONS AND PROPERTIES OF CANONICAL FORMS

Ist Teil von

• Acta electrotechnica et informatica, 2020-05, Vol.20 (1), p.32-38

Ort / Verlag

Sciendo

Erscheinungsjahr

2020

Link zum Volltext

Quelle

Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals

Beschreibungen/Notizen

• We present several extensions to our Lean–based formal mechanized framework for computing with cellular automata (CA). First we extend the definition of CAs to allow for specification of arbitrary boundary conditions. We use this addition to represent constant and periodic boundaries. We then formulate and prove numerous missing properties pertaining to canonical forms of cellular automata, culminating in a theorem stating that canonical forms preserve counts of nonempty cell states.