30 lines
929 B
Markdown
30 lines
929 B
Markdown
---
|
|
aliases:
|
|
- langage formel
|
|
---
|
|
up::[[langages]]
|
|
#s/maths/logique
|
|
|
|
----
|
|
|
|
> [!definition] Langage formel
|
|
> Soit $V$ [[vocabulaire]] (ensemble fini de symboles) donné
|
|
> On appelle _langage formel_ $L = <R, V>$ tout ensemble, potentiellement infini, de séquences de symboles de $V$ respectant les règles de formation ([[règle d'inférence|règles d'inférence]]) pour faire une **fbf** (formule bien formée).
|
|
|
|
> [!example] Examples
|
|
> $L=(V, R)\text{ avec } V=\{a,b\}\text{ et }R = \{R1, R2\}$
|
|
> - $R1$ : $F$ est une fbf de $L$ si $F$ est formée d'un seul symbole appartenant à $V$
|
|
> - $R2$ : $F$ est une fbf de $L=<R, V>$ si $F = aG$ avec $G$ une fbf de $L$
|
|
> espression régulière pour ce langage : `a+|a*b`
|
|
|
|
![[langages formels 2023-09-08 10.07.51.excalidraw]]
|
|
|
|
> [!smallquery]+ Sous-notes de `$= dv.el("span", "[[" + dv.current().file.name + "]]")`
|
|
> ```breadcrumbs
|
|
> title: false
|
|
> type: tree
|
|
> dir: down
|
|
> ```
|
|
|
|
|