About log-on languages : preliminary version
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/110688
Tipus de documentReport de recerca
Data publicació1985
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
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.
CitacióCases, R., Gabarro, J. "About log-on languages : preliminary version". 1985.
Forma partRR 85/02
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
OTIS_ndbibp032_0657_001.pdf | 385,1Kb | Visualitza/Obre |