Symbolic determinisation of extended automata

Jéron, Thierry et al · SEDICI UNLP · 2006

Open-Access-Volltext

Schnellübersicht. Prüfen Sie die grundlegenden Angaben und öffnen Sie den Inhalt über die Hauptschaltfläche. Die Seite zeigt nur die Informationen, die zum Identifizieren, Zitieren und Öffnen des Werks nötig sind.

Autor / Verantwortliche

Jéron, Thierry et al

Verlag

SEDICI UNLP

Jahr

2006

Sprache

Inglés

Zugriff auf die Ressource

Öffnen Sie den Inhalt über die Hauptoption oder wählen Sie eine andere verfügbare Quelle.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Hauptzugriff

Open-Access-Volltext

Texto completo identificado como acceso abierto.

Text öffnen

Übersicht

Descripción general del contenido del recurso.

We define a symbolic determinisation procedure for a class of infinite-state systems, which consists of automata extended with symbolic variables that may be infinite-state. The subclass of extended automata for which the procedure terminates is characterised as bounded lookahead extender automata. It corresponds to automata for which, in any location, the observation of a bounded-length trace is enough to infer the first transition actually taken. We discuss applications of the algorithm to the verification, testing and diagnosis of infinite-state systems. 4th IFIP International Conference on Theoretical Computer Science Red de Universidades con Carreras en Informática (RedUNCI)

Zitieren

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Jéron, T. E. A. (2006). Symbolic determinisation of extended automata. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/24398

MLA

Jéron, Thierry et al. Symbolic determinisation of extended automata. SEDICI UNLP, 2006. http://sedici.unlp.edu.ar/handle/10915/24398.

Chicago

Jéron, Thierry et al. 2006. Symbolic determinisation of extended automata. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/24398.

Harvard

Jéron, T. E. A. 2006, Symbolic determinisation of extended automata, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/24398 [Accessed 10 Aug. 2026].

Teilen und drucken

Speichern Sie den Datensatz, kopieren Sie den Permalink oder drucken Sie ihn als PDF.

Referenz exportieren

Exportieren Sie den Datensatz in gängigen Formaten für Literaturverwaltungsprogramme.

RIS BibTeX

Ressourcendetails

Bibliografische Angaben zur Prüfung, ob es sich um das richtige Material handelt.

Titel: Symbolic determinisation of extended automata

Autor / Mitwirkende: Jéron, Thierry et al

Verlag: SEDICI UNLP

Erscheinungsjahr: 2006

Sprache: Inglés

Schlagwörter

Entdecken Sie über diese Schlagwörter weitere verwandte Ressourcen.

Ciencias Informáticas; determinisation; symbolic automata