Carregant...
Carregant...

Vés al contingut (premeu Retorn)

About log-on languages : preliminary version

Autor
Cases, R.; Gabarro, J.
Tipus d'activitat
Document cientificotècnic
Data
1985
Codi
RR 85/02
Repositori
http://hdl.handle.net/2117/110688 Obrir en finestra nova
Resum
We deal with on-line log-space Turing Machines with markers in the work tapes. In this type of machines we prove the existence of a language L satisfying L ¿ (NSPACE)_s (log¿ n) , L ¯ ¿ NSPACE_s (log ¿n) and L ¿ (NSPACE)_s (log¿ n) We give an explicit definition of L. The main theorem uses minimisation techniques of deterministic finite automata. We deal with on-line log-space Turing Machines with markers in the work tapes. In this type of machines we prove the existence of a language L...
Citació
Cases, R., Gabarro, J. "About log-on languages : preliminary version". 1985.
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

Arxius