Fonction de mots infinis réalisables par automate fini.

pages

Español

Documents

Lire

Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres

pages

Español

Documents

Lire

Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres

Publié par

Ardoo

Nombre de lectures

Langue

Español

1rougndes&iaf$repr%EcoleCNRSJeuneshttpwwiafauChercaheursesenenbresAlgorithmiqueChristianeetLIAFCalcularisFsieuormelrBordeaux22la{26tationmarsnom1999rFeelsonctionsFdeymotsAinisPrChristianerougnyausealisablesfrparssieuautomatecfi'Applicationla3.tations&con$4.%aesPlantialitdeelxptinos{isets1.FeonctionsuitdeExemplemots{inisrisealisables{paretautomateai2{SDequeneitionset{tinPropri{etdedivisionesCondeuitfermeturee2.AutomatesReprenigneRepresenesentationdvizienisdesAutomatesrenignefonctionseels{ccienNormalisationrationnels{'AdditionBunu&ortemen$ealis%desFinimenonctionshideautomatemotsasinisdesrcommenIealisablestparlaautomate:iAgraphealphabautomateetterminalesdn'tretiquettheminseetBetatalphabpassanetsouvdeFsortieAutomateionctionNaest2parbandessi=rtransducteure=NAb=(uQbleAescBiniscan;dansE;deIet;tFt)enadansvompectEaetBQucisFRelation'deAmots!inisNRrealisableAunNisonBestNestrpariealisPdeeeouclespardAetiquettesiouR3estlnsem=1&$=%4Exemple1-./Lutomate1qui0ece1les0kent1^1ete0des0,mots=0/="'-si00&ln$q%aefThpoleor,eme(1p ...

Voir

Publié par

Ardoo

Nombre de lectures

Langue

Español

'
y
&
nom
$
aus
%

Ecole
eels
Jeunes
P
Cherc
ssieu
heurs
la
en
tation
Algorithmique
r
et
F
Calcul
A
F
Christianerougny
ormel
fr
Bordeaux
cf
22
a
{
repr
26
esen
mars
des
1999
bres
F

onctions
Christiane
de
rougn
mots
LIAF
inis
CNRS
r
aris

iaf
ealisables
sieu
par
httpwwiafau
automate
r
i
1
Applicationdivision
'
S
&
dvizienis
$
tin
%
Automates
Plan

de

lxp
{
os
uit

Repr
e
enigne
1.
rationnels
F
equen
onctions
et
de

mots
de
inis
Con
r
e

enigne
ealisables
esen
par
Automates
automate
fonctions
i
ccien
{
3.
D

tialit
eitions
e
{
con
Propri
uit

e
et
Exemple

la
es
{
de
tin
fermeture

2.
4.
Repr
is

{
esen

tation
tations
des
{
r
is

et
eels
aes
{
a
Normalisation
ts
{
2
AdditionN
'

&
ou
$
t
%

F
c
onctions
t
de
F
mots
i
inis
de
r

can
ealisables
et
par
dans
automate
B
i
A
A
ealisable
alphab
est
et
i
dn
d
tr
ble

es
ee
inis
B
dans
alphab
de
et
t
de
en
sortie
omp
Automate
a
i
uc

'
a
!
2
r
bandes
un
=
son
transducteur

=
par
A
P
=
oucles
(
etiquette
Q
3
A
des

etiquett

des
B
hemins

commen
;
t
E
un
;
etat
I
I
;
passan
F
inimen
)
souv
a
t
v
F
ec
ortemen
E

et
la
Q

is
hi
Relation
onction
de
:
mots
N
inis
B
R
est

A
par
N
automate

si
B
graphe
N
r
est
ealis
r
e

automate
ealis
N

as
ee
b
par
terminales
A

si
u
R
u
est
lnsem1
'

&
/
$

%
0,
Exemple
1
1
k
.
1
Lutomate
0
qui
=
ece
="
les

0

en

t
-
^
=
ete
/
des
=
mots
1
0
1

0

4
-un
'
)
&
A
$
tersection
%
00
Th
xy

our
eor

et
eme
alors
1
p
.
0
ire
probl
L
terminaux
a
un
c
m
omp
de
os
5

B
ee
B
de
aura
deux
)
fonctions
(
r
q

^
ealisables
eme
p

ar
dans
automate
faut
i
o
lst
p
aussi
emoriser
Lnverse
etat
dne
a
fonction
e
r
q

dans
ealisable
,
p
dans
ar

automate
on
i
(
lst
q
aussi
aef
Id
!

p
ee
;
de
00
la
M
preuv
eme
e

p
p
our
les
la
etats
comp
que
osition
ln
Si
il
p
utiliser
ac
b
!
ol
p
een
0
our
dans

A
si
et

q
al
bef
A
!

q

0
vu
cy
!
'
rationnels
&
0
$
elopp
%
c
Repr
g

a
esen
dique
tation
b
des
2
r
:

Mon
eels
t
Base
un
b
t
en
.
tier

v
2.
x
x
=
r
:

b
eel
Exercice
de
que
[0
t
;
nom
1[
an
Algorithme

glouton
t
r

0
base

2
x

p
)
our
a
i
ec

hies
1
i
,
A
x
f
i
;

:
b
;
br
1
i
.
1
.
c
trer
,
les
r
son
i
exactemen

les
f
bres
br
y
i
t
1
d
g
ev
Notation
emen
x
ultimemen
=
p
(
erio

en
x
b
1
6
xevelopp
'

Voir