Grammaire formelleUne grammaire formelle est un formalisme permettant de définir une syntaxe et donc un langage formel, c'est-à-dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en programmation logique, compilation (analyse syntaxique), en théorie de la calculabilité et dans le traitement des langues naturelles (tout particulièrement en ce qui concerne leur morphologie et leur syntaxe).
Musique arabevignette|200px|Dahmane El Harrachi considéré comme l'un des meilleurs instrumentistes et compositeurs de musique algérienne. La musique arabe désigne un ensemble de musiques issues du monde arabe c'est-à-dire une zone géographique allant du Moyen-Orient à l'Atlantique. Elle constitue les branches d'une même famille musicale ayant évolué dans les foyers culturels au Moyen-Orient mais également dans des contextes différents.
Tonalitéthumb|right|Cercle des quintes donnant les armures des tonalités En musique, une tonalité est le ton appartenant au mode majeur ou au mode mineur utilisé dans une œuvre. Plus généralement, la tonalité est le langage musical (Système tonal) utilisé en occident entre le et le . Une tonalité se définit comme une gamme de huit notes, désignée par sa tonique (appartenant à l'échelle diatonique) et son mode (majeur ou mineur), par exemple : la « tonalité de sol majeur ».
Musique chrétienneLa musique chrétienne englobe tous les styles de musique qui se composent de thèmes chrétiens, quels qu'en soient les mouvements et approches. La louange et la musique liturgique est un volet important de cette musique. Le chant chrétien, accompagné d'instruments de musique et basé sur le livre des Psaumes est un des premiers styles de musique chrétienne. Puis le chant grégorien s'est installé dans les églises .
Musique atonalevignette|Arnold Schönberg en 1948 La musique atonale résulte de l'emploi de l'atonalité comme élément de composition. L'atonalité (ou atonalisme) est un terme qui décrit à la fois une technique de composition et l'état harmonique qui en résulte. C'est une technique d'écriture qui remet en cause en profondeur les habitudes de composition traditionnelles et la théorie de la musique occidentale. Ce système eut un impact important dans l'évolution musicale au cours du et engendra le large courant de musique dite "savante" avant-gardiste qu'on appelle « musique contemporaine ».
Psychologie de la musiquevignette|Modèle psychologique de la perception des hauteurs. La psychologie de la musique est une branche de la psychologie expérimentale consacrée à l'étude de la perception des sons musicaux. C'est un domaine des neurosciences annexe de la musicologie et de la musicothérapie.
Journalisme musicalLe journalisme musical est une forme de journalisme culturel spécialisée dans la musique. Il s'exerce dans différents médias, tels que la presse écrite, la radio, la télévision et Internet, et se traduit également par des publications de livres et de notices d'enregistrement (LP, CD, DVD...). Des documents anticipant la critique musicale moderne remontent déjà à l'Antiquité, rédigés par des philosophes, des poètes, des hommes de lettres et des historiens.
GrammaireLa grammaire est l'étude objective et systématique des éléments (phonème, morphème et mot) et des mécanismes et processus de formation, de construction et d'expression constitutifs d'une langue naturelle, écrite ou parlée, en particulier par l'étude de la morphologie et de la syntaxe et à l'exclusion de la phonologie, de la lexicologie, de la sémantique et de la stylistique. Par extension, on nomme aussi grammaire un manuel ou un ensemble de documents décrivant des règles grammaticales.
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.
Regular tree grammarIn theoretical computer science and formal language theory, a regular tree grammar is a formal grammar that describes a set of directed trees, or terms. A regular word grammar can be seen as a special kind of regular tree grammar, describing a set of single-path trees. A regular tree grammar G is defined by the tuple G = (N, Σ, Z, P), where N is a finite set of nonterminals, Σ is a ranked alphabet (i.e.
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
MélodieLa mélodie est une succession de sons ordonnés selon des rapports de rythme et de modulation par opposition à l'harmonie consistant dans l'accord de plusieurs sons exécutés simultanément. Le terme « mélodie » vient du latin melodia issu du grec ancien , « chant », composé de , « arrangement musical », et , « chant ». Dans la musique occidentale, chaque note d'une mélodie est déterminée par l'intervalle mélodique qui la sépare de la note fondamentale — ou note de référence — appelée dans la musique tonale.