FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur l'Université de Trèves - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Automate fini »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Automate déterministe < Automate fini < Automate non déterministe  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 6.
Ident.Authors (with country if any)Title
000555 (2009) Henning Fernau [Allemagne]Algorithms for learning regular expressions from positive data
000700 (2007) Henning Fernau [Allemagne] ; Klaus Reinhardt [Allemagne] ; Ludwig Staiger [Allemagne]Decidability of code properties
000707 (2007) Benoit Cagnard [France] ; Pierre Simonnet [France]Automata, borel functions and real numbers in pisot base
001028 (1997) Christoph Meinel [Allemagne] ; T. Theobald [Allemagne]On the influence of the state encoding on OBDD-representations of finite state machines
001200 (1996) Christoph Meinel [Allemagne] ; T. Theobald [Allemagne]Local encoding transformations for optimizing OBDD-representations of finite state machines
001208 (1996) C. Damm [Allemagne] ; M. Holzer [Allemagne]Inductive counting for width-restricted branching programs

List of associated Author.i

Nombre de
documents		Descripteur
2Christoph Meinel
2Henning Fernau
2T. Theobald
1Benoit Cagnard
1C. Damm
1Klaus Reinhardt
1Ludwig Staiger
1M. Holzer
1Pierre Simonnet

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Automate fini" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Automate fini" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Rhénanie
   |area=    UnivTrevesV1
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Automate fini
}}
Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024