In formal language theory and pattern matching, alternation is the union of two sets of strings, or equivalently the logical disjunction of two patterns...

Identities and relationships involving sets Alternation (formal language theory) – in formal language theory and pattern matching, the union of two sets...

complexity theory Alternation (formal language theory), the set union of two sets of strings in formal language theory and pattern matching Alternation (geometry)...

Theory of language is a topic in philosophy of language and theoretical linguistics. It has the goal of answering the questions "What is language?"; "Why...

Automata theory is closely related to formal language theory. In this context, automata are used as finite representations of formal languages that may...

and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable...

In computational complexity theory, an alternating Turing machine (ATM) is a non-deterministic Turing machine (NTM) with a rule for accepting computations...

Wikifunctions has a concat function. In formal language theory and computer programming, string concatenation is the operation of joining character strings...

generated. In opposition to the formal theories of the generative school, functional theories of language propose that since language is fundamentally a tool...

science field focus on the theory of subrecursive hierarchies, formal methods, and formal languages. The study of which mathematical constructions can be effectively...

theoretical computer science and formal language theory, a regular language (also called a rational language) is a formal language that can be defined by a regular...

linguistics, code-switching or language alternation occurs when a speaker alternates between two or more languages, or language varieties, in the context of...

effects." The single-mutation theory of language evolution has been directly questioned on different grounds. A formal analysis of the probability of...

science and formal language theory, the ω-regular languages are a class of ω-languages that generalize the definition of regular languages to infinite...

generative theories, it treated grammar as a system of formal rules that generate all and only grammatical sentences of a given language. What was distinctive...

2020. Zehentner, Eva (2019). Competition in Language Change: the Rise of the English Dative Alternation. De Gruyter Mouton. ISBN 978-3-11-063385-6. MacWhinney...

fully in symbolic language without the involvement of natural language, are considered in proof theory. The distinction between formal and informal proofs...

The causative alternation is a transitivity alternation. The verb “break” demonstrates causative alternation because it can alternate between transitive...

for language impairment. In psychology and in psycholinguistics the label code-mixing is used in theories that draw on studies of language alternation or...

Language identification in the limit is a formal model for inductive inference of formal languages, mainly by computers (see machine learning and induction...

this article. Bungo (文語; "literary language") used in formal texts, is different compared to the colloquial language (口語, kōgo), used in everyday speech...

a pure Formalist theory. The following formalist theory is offered as contrast to the logicistic theory of PM. A contemporary formal system would be constructed...

where alternation between varieties redefines a situation, being a change in governing norms, and metaphorical switching, where alternation enriches...

expression techniques are developed in theoretical computer science and formal language theory. The concept of regular expressions began in the 1950s, when the...

in semantics typically uses possible worlds as formal tools without committing to a particular theory of their metaphysical status. The term possible...

5th Symposium on Theory of Computing, pages 1–9, 1973. J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation,...

as proof theory. A formal language is an organized set of symbols, the symbols of which precisely define it by shape and place. Such a language therefore...

less depth of quantifier alternation are thought of as being simpler, with the quantifier-free formulas as the simplest. A theory has quantifier elimination...

foundation of first-order logic. A theory about a topic, such as set theory, a theory for groups, or a formal theory of arithmetic, is usually a first-order...

length when in a work of fiction. This countered the theory that "authors may aim at an alternation of long and short sentences". Sentence length, as well...