# -*-coding:Latin-1 -*

__author__ = "abdelmajid"
__date__ = "$14 juin 2015 03:36:32$"

dictionnaire1 = {
"contenu":{
"0":"""
Le mathématicien """,
"0bold":"Stephen C. Kleene",
"1":"""a démontré que les langages reconnus par
les automates finis sont exactement les langages qui peuvent être décrits par les
expressions rationnelles. De manière plus concise, il y a égalité entre la famille des
langages rationnels et la famille des langages reconnaissables sur un alphabet fini
donné.
De plus, la démarche est constructive : pour toute expression rationnelle, on peut
construire un automate fini (déterministe ou non) qui reconnaisse cette expression.
de même, pour tout automate fini (déterministe ou non), on peut exprimer sous
forme d’une expression rationnelle le langage qu’il reconnaît.
"""
}
}
