Real-time, constant-space, constant-randomness verifiers (Q6077068)
From MaRDI portal
scientific article; zbMATH DE number 7751502
Language | Label | Description | Also known as |
---|---|---|---|
English | Real-time, constant-space, constant-randomness verifiers |
scientific article; zbMATH DE number 7751502 |
Statements
Real-time, constant-space, constant-randomness verifiers (English)
0 references
17 October 2023
0 references
real-time verifiers
0 references
multihead finite automata
0 references
randomized finite automata
0 references