Windable heads and recognizing \textsf{NL} with constant randomness

DOI10.1007/978-3-030-40608-0_12zbMath1437.68097arXiv1912.01382OpenAlexW3013344911MaRDI QIDQ782573

Mehmet Utkan Gezer

Publication date: 27 July 2020

Full work available at URL: https://arxiv.org/abs/1912.01382

zbMATH Keywords

interactive proof systemsprobabilistic finite automatamulti-head finite automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Constant-space, constant-randomness verifiers with arbitrarily small error

This page was built for publication: Windable heads and recognizing \textsf{NL} with constant randomness