3 papers
cs.LO2023
Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements
Yoshiki Nakamura, Ryoma Sin'ya
We investigate the equational theory of Kleene algebra terms with variable complements -- (language) complement where it applies only to variables -- w.r.t. languages. While the eq…
cs.FL2014
Graph Spectral Properties of Deterministic Finite Automata
Ryoma Sin'ya
We prove that a minimal automaton has a minimal adjacency matrix rank and a minimal adjacency matrix nullity using equitable partition (from graph spectra theory) and Nerode partit…
cs.FL2014
Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching
Ryoma Sin'ya, Kiminori Matsuzaki, Masataka Sassa
Automata play important roles in wide area of computing and the growth of multicores calls for their efficient parallel implementation. Though it is known in theory that we can per…