ParlementUn parlement est une assemblée qui assure la représentation du peuple dans les États ou les divisions administratives (intra-étatiques tel le Parlement de Paris ou supra-étatiques tel le Parlement européen), et à ce titre est le selon Hans Kelsen. Il a deux fonctions : faire et défaire les lois, ce qui en fait le détenteur du pouvoir législatif, et contrôler l'action du gouvernement du pays. Il s'agit d'un organe collégial qui peut avoir plusieurs rôles : un rôle de conseiller pour le pouvoir exécutif, un rôle de législateur et enfin un rôle de représentant de la nation à l'étranger.
Parlement écossaisLe Parlement écossais (Scottish Parliament ; Pàrlamaid na h-Alba ; Scots Pairlament) est la législature dévolue monocaméral d'Écosse, siégeant dans le quartier de Holyrood à Édimbourg, la capitale du pays. Le Parlement, auquel on se réfère souvent par le terme de Holyrood, regroupe élus démocratiquement pour un mandat de quatre ans, suivant un système mixte, alliant un scrutin majoritaire uninominal et une proportionnelle par compensation.
Automate finithumb|upright=2|Fig. 1 : Une hiérarchie d'automates. Un automate fini ou automate avec un nombre fini d'états (en anglais finite-state automaton ou finite state machine ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie.
Automate fini déterministeUn automate fini déterministe, parfois abrégé en AFD (en anglais deterministic finite automaton, abrégé en DFA) est un automate fini dont les transitions à partir de chaque état sont déterminées de façon unique par le symbole d'entrée. Un tel automate se distingue ainsi d'un automate fini non déterministe, où au contraire plusieurs possibilités de transitions peuvent exister simultanément pour un état et un symbole d'entrée donné.
Parlement d'Écossethumb|250px|Parliament House à Édimbourg, ancien siège du Parlement d'Écosse Le Parlement d'Écosse, officiellement appelé États du Parlement (Estates of Parliament), est l'organe législatif du royaume d'Écosse, avant que celui-ci ne fût rattaché à celui d'Angleterre en 1707, lors de la formation du royaume de Grande-Bretagne. L'existence avérée du Parlement monocaméral d'Écosse remonte au début du . Ses assemblées étaient désignées, comme pour le Parlement d'Angleterre, par le terme latin de colloquium : colloque, conférence, pourparlers.
Parlement de SingapourLe Parlement de Singapour (Parliament of Singapore ; en 新加坡国会 ; Parlimen Singapura ; en சிங்கப்பூர் நாடாளுமன்றம்) est l'organe législatif monocaméral de la république de Singapour formant, avec le président, le corps législatif de Singapour. Le parlement est constitué de députés élus (Member of Parliaments ou MPs), de députés sans circonscription ( ou NCMPs) et de députés nommés ( ou NMPs). Les dernières élections ont eu lieu le 10 juillet 2020. À la suite de la Seconde Guerre mondiale, Singapour est devenue une colonie de la Couronne.
Parlement d'Angleterrethumb|300px|Réunion du Parlement en présence du roi, début du . L’image date peut-être du milieu des années 1320, le roi étant alors le jeune Édouard III ; elle pourrait aussi dater des dernières années du , le roi étant alors Édouard . Le Parlement d'Angleterre (Parliament of England) était le Parlement du royaume d'Angleterre.
Parlement d'AustralieLe Parlement d'Australie (Parliament of Australia, officiellement le Parlement fédéral Federal Parliament) exerce le pouvoir législatif du système politique de l'Australie. C'est un parlement bicaméral, largement inspiré par le système de Westminster, mais il a aussi subi quelques influences du Congrès des États-Unis. Selon la Première section de la Constitution australienne, il est formé de trois composantes : le roi d'Australie (King of Australia), le Sénat (Senate) et la Chambre des représentants (House of Representatives).
Parlement de MalaisieLe Parlement de Malaisie (Parlimen Malaysia) est l'institution législatif bicaméral de la Malaisie. Cette institution est mise en place à l'indépendance du pays en 1957 sur le modèle du système législatif britannique dit système de Westminster. Les deux chambres sont : le Dewan Negara (Sénat) qui forme la chambre haute et dont les membres sont élus au scrutin indirect ; le Dewan Rakyat (Chambre des représentants) qui forme la chambre basse et dont les membres sont élus.
Deterministic pushdown automatonIn automata theory, a deterministic pushdown automaton (DPDA or DPA) is a variation of the pushdown automaton. The class of deterministic pushdown automata accepts the deterministic context-free languages, a proper subset of context-free languages. Machine transitions are based on the current state and input symbol, and also the current topmost symbol of the stack. Symbols lower in the stack are not visible and have no immediate effect. Machine actions include pushing, popping, or replacing the stack top.
Parlement de l'IndeLe Parlement de l'Inde (Parliament of India ; en भारतीय संसद IAST : Bhāratīya Sansad) est l'organe législatif bicaméral de la république de l'Inde. Il est établi à la suite de l'indépendance du pays par la Constitution indienne, promulguée le . Il comprend deux Chambres ainsi que le Président de l'Inde : le Rajya Sabha (Conseil des États), sa chambre haute et la Lok Sabha (Chambre du Peuple), sa chambre basse. Le chef du parti majoritaire à la Lok Sabha est traditionnellement nommé Premier ministre de l'Inde.
Automate fini non déterministeUn automate fini (on dit parfois, par une traduction littérale de l'anglais, machine à états finis, au lieu de machine avec un nombre fini d'états ou machine à états finie ou machine finie à états), finite-state automaton ou finite-state machine (FSA, FSM), est une machine abstraite qui est un outil fondamental en mathématiques discrètes et en informatique. On les retrouve dans la modélisation de processus, le contrôle, les protocoles de communication, la vérification de programmes, la théorie de la calculabilité, dans l'étude des langages formels et en compilation.
Machine de MealyEn informatique théorique, notamment en théorie des automates, et en théorie de la calculabilité, une machine de Mealy ou automate de Mealy est un transducteur fini (i.e. un automate fini avec une sortie) pour lequel les sorties dépendent à la fois de l'état courant et des symboles d'entrée. Cela signifie que l'étiquette de chaque transition est un couple formé d'une lettre d'entrée et d'une lettre de sortie. En particulier, la longueur du mot de sortie est égale à la longueur du mot d'entrée.
Machine de Turing non déterministeUne machine de Turing non déterministe est similaire à une machine de Turing habituelle, qui, elle, est déterministe, mais s'en différencie dans le fait qu'étant non déterministe elle peut avoir plusieurs transitions activables, pour un état donné. Alors que, connaissant le caractère lu sur le ruban et l'état courant, une machine de Turing déterministe dispose d'au plus une transition possible, une machine de Turing non déterministe peut en avoir plusieurs.
Langage algébrique déterministeEn informatique théorique et en théorie des langages, un langage algébrique déterministe est un langage algébrique reconnu (par états finals) par un automate à pile déterministe. L'intérêt des langages déterministes est que leur analyse syntaxique se fait en temps linéaire en la longueur du mot, alors que dans un langage algébrique quelconque, la complexité est cubique, ou en tout cas se ramène à la complexité du produit matriciel, donc est en O(n2,37) où n est la longueur du mot par l'algorithme de Valiant.
Parlement européenLe Parlement européen (PE) est l'organe parlementaire de l'Union européenne (UE) élu au suffrage universel direct. Il partage avec le Conseil de l'Union européenne le pouvoir législatif de l'Union européenne. Le Parlement européen est composé de (parfois appelés eurodéputés ou MPE), qui représentent environ d'électeurs inscrits provenant des (en 2020) et répartis selon des règles fixées dans les traités. Il s'agit du second plus grand électorat du monde, derrière celui de l'Inde, et le plus grand électorat transnational.
Machine de TuringEn informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur. Ce modèle a été imaginé par Alan Turing en 1936, en vue de donner une définition précise au concept d’algorithme ou de « procédure mécanique ». Il est toujours largement utilisé en informatique théorique, en particulier dans les domaines de la complexité algorithmique et de la calculabilité.
DémocratisationLa démocratisation est en premier lieu un processus au terme duquel un régime politique devient plus démocratique. Le concept a été étendu au domaine économique, pour désigner la généralisation de la diffusion d’un produit ou d’un bien. vignette|Révolution des Œillets, au Portugal, mettant fin au régime salazariste pour entamer la démocratisation du pays. thumb|upright=1.6|Depuis 2010, le nombre de pays en voie d'autocratisation (en bleu) est plus grand que celui de ceux en voie de démocratisation (en jaune).
Réplication (informatique)En informatique, la réplication est un processus de partage d'informations pour assurer la cohérence de données entre plusieurs sources de données redondantes, pour améliorer la fiabilité, la tolérance aux pannes, ou la disponibilité. On parle de réplication de données si les mêmes données sont dupliquées sur plusieurs périphériques. La réplication n'est pas à confondre avec une sauvegarde : les données sauvegardées ne changent pas dans le temps, reflétant un état fixe des données, tandis que les données répliquées évoluent sans cesse à mesure que les données sources changent.
Optimistic replicationOptimistic replication, also known as lazy replication, is a strategy for replication, in which replicas are allowed to diverge. Traditional pessimistic replication systems try to guarantee from the beginning that all of the replicas are identical to each other, as if there was only a single copy of the data all along. Optimistic replication does away with this in favor of eventual consistency, meaning that replicas are guaranteed to converge only when the system has been quiesced for a period of time.
