Automatic Sequences and Zip-Specifications
Work
Year: 2012
Type: article
Abstract: We consider infinite sequences of symbols, also known as streams, and the decidability question for equality of streams defined in a restricted format. (Some formats lead to undecidable equivalence pr... more
Cites: 26
Cited by: 14
Related to: 10
FWCI: 2.489
Citation percentile (by year/subfield): 74.88
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green