4 papers
Universality Frontier for Asynchronous Cellular Automata
Ivan Baburin, Matthew Cook, Florian Grötschla +2
In this work, we investigate the computational aspects of asynchronous cellular automata (ACAs), a modification of cellular automata in which cells update independently, following…
A Close Analysis of the Subset Construction
Ivan Baburin, Ryan Cotterell
Given a nondeterministic finite-state automaton (NFA), we aim to estimate the size of an equivalent deterministic finite-state automaton (DFA). We demonstrate that computing the st…
An Analysis of On-the-fly Determinization of Finite-state Automata
Ivan Baburin, Ryan Cotterell
In this paper we establish an abstraction of on-the-fly determinization of finite-state automata using transition monoids and demonstrate how it can be applied to bound the asympto…
Hierarchical Block Low-rank Approximation of Cavity Radiation
Ivan Baburin, Jonas Ballani, John W. Peterson +1
In this paper we examine the use of low-rank approximations for the handling of radiation boundary conditions in a transient heat equation given a cavity radiation setting. The fin…