Ziv Bar-Yossef, T.S. Jayram, et al.
Journal of Computer and System Sciences
Using state splitting methods, we construct nice matrix representatives for arbitrary subshifts of finite type. © 1984 American Mathematical Society.
Ziv Bar-Yossef, T.S. Jayram, et al.
Journal of Computer and System Sciences
Michael E. Henderson
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
Nimrod Megiddo
Journal of Symbolic Computation
Yi Zhou, Parikshit Ram, et al.
ICLR 2023