Résultats de la recherche
- Pour les articles homonymes, voir Théorie de la complexité. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique...20 kio (2 437 mots) - 17 janvier 2024 à 11:51
- La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique...20 kio (2 450 mots) - 17 juillet 2024 à 15:23
- Pour les articles homonymes, voir Turing. En informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques...24 kio (2 582 mots) - 5 juillet 2024 à 10:34
- Cet article traite des significations particulières qu'a pris le terme « décidabilité » en mathématiques et en informatique. Pour une approche plus générale...20 kio (2 689 mots) - 15 mai 2023 à 20:17
- Cet article ne cite pas suffisamment ses sources (janvier 2019). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites...9 kio (1 212 mots) - 31 décembre 2023 à 16:56
- Cet article concerne les automates finis. Pour une présentation plus formelle, voir Automate fini non déterministe. Pour les autres significations, voir...45 kio (5 159 mots) - 30 août 2024 à 17:59
- Pour l’article homonyme, voir Thèse de Church (mathématiques constructives). La thèse de Church — du nom du mathématicien Alonzo Church — est une thèse...28 kio (3 430 mots) - 15 juillet 2024 à 00:12
- Articles connexes : Fermeture (informatique) et logique combinatoire. Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans...41 kio (6 186 mots) - 13 juillet 2024 à 17:20
- Un automate cellulaire consiste en une grille régulière de « cellules » contenant chacune un « état » choisi parmi un ensemble fini et qui peut évoluer...54 kio (7 212 mots) - 13 juillet 2024 à 12:30
- L'analyse de la complexité d'un algorithme consiste en l'étude formelle de la quantité de ressources (par exemple de temps ou d'espace) nécessaire à l'exécution...11 kio (1 096 mots) - 22 avril 2024 à 13:13
- En théorie des langages, les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes :...35 kio (5 523 mots) - 29 avril 2022 à 22:22
- Cet article ne cite pas suffisamment ses sources (janvier 2019). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites...14 kio (2 110 mots) - 20 juin 2024 à 18:05
- La correspondance de Curry-Howard, appelée également isomorphisme de Curry-de Bruijn-Howard, correspondance preuve/programme ou correspondance formule/type...10 kio (1 028 mots) - 23 juin 2024 à 18:28
- Pour les articles homonymes, voir Réécriture. En informatique théorique, la réécriture (ou récriture) est un modèle de calcul dans lequel il s’agit de...20 kio (2 426 mots) - 19 juillet 2024 à 14:32
- Un automate à pile est une machine abstraite utilisée en informatique théorique et, plus précisément, en théorie des automates. Un automate à pile est...19 kio (2 824 mots) - 29 octobre 2021 à 23:07
- En théorie de la calculabilité, le problème de l'arrêt est le problème de décision qui détermine, à partir d'une description d'un programme informatique...13 kio (1 917 mots) - 30 mai 2024 à 21:53
- En informatique théorique, en théorie des langages et en calculabilité, la hiérarchie de Chomsky (parfois appelée hiérarchie de Chomsky-Schützenberger)...15 kio (1 845 mots) - 7 août 2024 à 03:30
- En informatique théorique, et spécialement en théorie des automates, un automate sur les mots infinis ou ω-automate est un automate fini qui accepte des...10 kio (1 485 mots) - 13 février 2024 à 21:49
- Pour les articles homonymes, voir Constructivisme. Cet article est une ébauche concernant les mathématiques. Vous pouvez partager vos connaissances en...14 kio (1 977 mots) - 18 mai 2024 à 00:20
- En informatique et algorithmique, un nombre réel calculable est un réel pour lequel il existe un algorithme ou une machine de Turing permettant d'énumérer...12 kio (1 433 mots) - 4 septembre 2023 à 16:13