Les langages testables par morceaux
Une des questions incontournables qu'on se pose en theorie des langages est de savoir si une logique est decidable. Autrement dit, pour une logique donnee, on veut savoir s'il existe un algorithme qui determine si un langage donne est exprimable dans cette log...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | FR |
| Published: |
Université Laval
2011
|
| Subjects: | |
| Online Access: | http://www.theses.ulaval.ca/2011/27983/27983.pdf |