Technopedia Center
PMB University Brochure
Faculty of Engineering and Computer Science
S1 Informatics S1 Information Systems S1 Information Technology S1 Computer Engineering S1 Electrical Engineering S1 Civil Engineering

faculty of Economics and Business
S1 Management S1 Accountancy

Faculty of Letters and Educational Sciences
S1 English literature S1 English language education S1 Mathematics education S1 Sports Education
  • Registerasi
  • Brosur UTI
  • Kip Scholarship Information
  • Performance
  1. Weltenzyklopädie
  2. Catégorie:Langage formel — Wikipédia
Catégorie:Langage formel — Wikipédia 👆 Click Here! Read More..
Aide
Une page de Wikipédia, l'encyclopédie libre.
Arborescence de l'informatique ↑ · ↓
  • Catégorie mère
  • Projet
  • Portail
  • Café
Arborescence des mathématiques ↑ · ↓
  • Catégorie mère
  • Projet
  • Portail
  • Café

L'étude des langages formels est l'étude des phrases formées à partir d'un ensemble fini de briques, l'alphabet, grâce à des règles formelles strictes.

Article principal : Langage formel.

Sous-catégories

Cette catégorie comprend la sous-catégorie suivante.

Outils :
  • Arborescence
  • Graphique
  • Recherche interne
  • PetScan
  • Suivi

A

  • Automates finis et langages réguliers – 38 P

Pages dans la catégorie « Langage formel »

Cette catégorie contient les 113 pages suivantes.

Outils :
  • Arborescence
  • Graphique
  • Recherche interne
  • PetScan
  • Suivi

 

  • Langage formel

A

  • Algèbre de Kleene
  • Analyse lexicale
  • Analyse syntaxique
  • Arité
  • Augmented Backus-Naur Form
  • Automate à pile visible
  • Automate temporisé

C

  • Caractéristique universelle
  • Centraliseur
  • Chaîne la plus proche
  • Chaîne vide
  • Combinateur d'analyseurs
  • Concaténation
  • Conference on Implementation and Application of Automata
  • Congruence de Simon

D

  • Décalage de Bernoulli (langage formel)
  • Demi-groupe bicyclique
  • Démonstration formelle
  • Diff
  • Langage de Dyck

E

  • Encodage sémantique
  • Ensemble rationnel
  • Étoile de Kleene
  • Exposant critique d'un mot
  • EXPRESS
  • Expression régulière
  • Extended Backus-Naur Form

F

  • Factorisation gauche
  • Famille abstraite de langages
  • Forme de Backus-Naur
  • Forme normale de Chomsky
  • Forme normale de Greibach

G

  • Grammaire affixe
  • Grammaire algébrique
  • Grammaire ambigüe
  • Grammaire attribuée
  • Grammaire contextuelle
  • Grammaire formelle
  • Grammaire indexée
  • Grammaire L-attribuée
  • Grammaire lexicale-fonctionnelle
  • Grammaire linéaire
  • Grammaire LL
  • Grammaire LR-attribuée
  • Grammaire non contextuelle
  • Grammaire non contextuelle déterministe
  • Grammaire non contextuelle pondérée
  • Grammaire régulière
  • Grammaire S-attribuée
  • Grammaire universelle
  • Grammaires de van Wijngaarden

H

  • Hiérarchie de Chomsky

I

  • Langage indexé
  • International Conference on Developments in Language Theory
  • International Workshop on Descriptional Complexity of Formal Systems
  • Interprétation (logique)

K

  • Forme normale de Kuroda

L

  • Langage algébrique
  • Langage algébrique déterministe
  • Langage congruentiel
  • Langage contextuel
  • Langage de balisage
  • Langage de description de format de document
  • Langage de formatage de texte
  • Langage de la logique
  • Langage de Łukasiewicz
  • Langage local
  • Langage rationnel
  • Langage récursif
  • Langage unaire
  • Langue contrôlée
  • Lemme d'échange
  • Lemme d'itération de Bader et Moura
  • Lemme d'itération pour les langages algébriques
  • Lemme d'Ogden
  • Lemme d'itération
  • Lemme de l'étoile
  • Lemme de Newman

M

  • Marque substitutive
  • Métalangage
  • Métavariable
  • Monoïde syntaxique
  • Mot primitif
  • Moteur d'analyse de grammaire

N

  • Notation (mathématiques)
  • Notation syntaxique de Wirth

P

  • Paire critique
  • Parser packrat
  • Plus courte super-séquence commune
  • Plus longue sous-chaîne répétée
  • Problème de la hauteur d'étoile

R

  • Récursivité gauche
  • Réécriture (informatique)

S

  • SCIgen
  • Sémantique formelle (logique)
  • Symbole (logique)
  • Symboles terminaux et non terminaux
  • Syntaxe (logique)
  • Système de Post
  • Système de Thue

T

  • Table de transition d'état
  • Terme (logique)
  • Théorème de Chomsky-Schützenberger (combinatoire)
  • Théorème de Chomsky-Schützenberger (langage formel)
  • Théorème de Kleene
  • Théorème de Muller-Schupp
  • Théorème de Parikh
  • Théorème des variétés d'Eilenberg
  • Théorie des automates
  • Transduction rationnelle

U

  • Universal Networking Language

V

  • Vacuité
Ce document provient de « https://fr.teknopedia.teknokrat.ac.id/w/index.php?title=Catégorie:Langage_formel&oldid=222106746 ».
Catégories :
  • Informatique théorique
  • Langage
  • Logique formelle
  • Calculabilité
Catégories cachées :
  • Projet:Technologies/Catégories liées
  • Projet:Mathématiques/Catégories liées
  • Projet:Sciences/Catégories liées

  • indonesia
  • Polski
  • الرية
  • Deutsch
  • English
  • Español
  • Français
  • Italiano
  • مصر
  • Nederlands
  • 本語
  • Português
  • Sinugboanong Binisaya
  • Svenska
  • Українска
  • Tiếng Việt
  • Winaray
  • 中文
  • Русски
Sunting pranala
Pusat Layanan

UNIVERSITAS TEKNOKRAT INDONESIA | ASEAN's Best Private University
Jl. ZA. Pagar Alam No.9 -11, Labuhan Ratu, Kec. Kedaton, Kota Bandar Lampung, Lampung 35132
Phone: (0721) 702022
Email: pmb@teknokrat.ac.id