Formal languages | Combinatorics on words | Semigroup theory

Local language (formal language)

In mathematics, a local language is a formal language for which membership of a word in the language can be determined by looking at the first and last symbol and each two-symbol substring of the word. Equivalently, it is a language recognised by a local automaton, a particular kind of deterministic finite automaton. Formally, a language L over an alphabet A is defined to be local if there are subsets R and S of A and a subset F of A×A such that a word w is in L if and only if the first letter of w is in R, the last letter of w is in S and no factor of length 2 in w is in F. This corresponds to the regular expression More generally, a k-testable language L is one for which membership of a word w in L depends only on the prefix, suffix and the set of factors of w of length k; a language is locally testable if it is k-testable for some k. A local language is 2-testable. (Wikipedia).

Video thumbnail

the C language (part 2 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

the C language (part 5 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

Programming Languages - (part 6 of 7)

How source code becomes a running program, how languages are categorized, and a survey of important languages. Part of a larger series teaching programming. Visit http://codeschool.org

From playlist Programming Languages

Video thumbnail

The Go Language (1 of 4)

An introduction to the Go programming language. Assumes knowledge of Javascript. Part of a larger series at http://codeschool.org

From playlist The Go Language

Video thumbnail

What is Language? (Part 1)

This is the first part of a series of videos on the nature of language. The aim of the series is to convey research findings to the general public. The next episodes will be made available soon. Illustrated by Lydia Alexkartadjaja (https://www.instagram.com/lydialexdesign/)

From playlist What is Language?

Video thumbnail

LIN101 - The Study of Language

This E-Lecture, which is meant as a repetition, discusses the term language and summarizes the goals of the central branches of linguistics before it eventually deals with the main principles of collecting data in linguistics.

From playlist VLC108 - Language Typology

Video thumbnail

GEN102 - Language and Linguistics

This E-Lecture is the first of the series "Introduction to Linguistics". It discusses the central terms "language" and "linguistics", provides an overview of the field of linguistics with its main branches, and lists several arguments that should motivate you to deal with linguistics.

From playlist VLC300 - Applied Linguistics

Video thumbnail

What are the Origins of English Words? Facts and Stats and lots of History

What are the origins of the English language? In this video we look at lots of facts and statistics and try to reach some accurate figures about English words and where they come from. We'll go back in history to look at words from Anglos-Saxon, French (and Anglo-Norman), Latin, Old Norse,

From playlist History of the English Language

Video thumbnail

How to Learn a Foreign Language - Study Tips - Language Learning

Hello Socratica Friends! We're here to help you be a Great Student. How to Learn a Foreign Language is one of our favourite subjects. Our host Liliana speaks English, Spanish, Portuguese, and Italian - and she’s agreed to share some of her top tips for learning a second language. We disc

From playlist It Starts With Literacy

Video thumbnail

David Ben-Zvi - Between Coherent and Constructible Local Langlands Correspondences

(Joint with Harrison Chen, David Helm and David Nadler.) Refined forms of the local Langlands correspondence seek to relate representations of reductive groups over local fields with sheaves on stacks of Langlands parameters. But what kind of sheaves? Conjectures in the spirit of Kazhdan

From playlist 2022 Summer School on the Langlands program

Video thumbnail

Jean-François Dat - 1/2 On Moduli Spaces of Local Langlands Parameters

The moduli space of local Langlands parameters plays a key role in the formulation of some recent enhancements of the original local Langlands correspondence, such as the "local Langlands correspondence in families" and various "categorifications/geometrizations of LLC". We will explain

From playlist 2022 Summer School on the Langlands program

Video thumbnail

How Verbal Communication affects Perception | Intro to Human Communication | Study Hall

The words we use serve to describe everything from the tangible to the abstract, what we know to what we can't quite describe. And the words that make up our language actually shape the way in which we think and perceive the world around us. In this episode, we discuss the way language imp

From playlist Intro to Human Communication: Course Foundations

Video thumbnail

Moduli Stacks of Galois Representations by Mathew Emerton

Program Recent developments around p-adic modular forms (ONLINE) ORGANIZERS: Debargha Banerjee (IISER Pune, India) and Denis Benois (University of Bordeaux, France) DATE: 30 November 2020 to 04 December 2020 VENUE: Online This is a follow up of the conference organized last year arou

From playlist Recent Developments Around P-adic Modular Forms (Online)

Video thumbnail

Geometric Langlands and 3d Mirror Symmetry (Lecture 2) by Sam Raskin

Program Quantum Fields, Geometry and Representation Theory 2021 (ONLINE) ORGANIZERS: Aswin Balasubramanian (Rutgers University, USA), Indranil Biswas (TIFR, india), Jacques Distler (The University of Texas at Austin, USA), Chris Elliott (University of Massachusetts, USA) and Pranav Pandi

From playlist Quantum Fields, Geometry and Representation Theory 2021 (ONLINE)

Video thumbnail

Xinwen Zhu - 1/3 Coherent Sheaves on the Stack of Langlands Parameters

I will give an impression of some recent new ideas appearing in the arithmetic Langlands program, with an emphasis on coherent sheaves on moduli spaces of Langlands parameters. Xinwen Zhu (Caltech)

From playlist 2022 Summer School on the Langlands program

Video thumbnail

Introduction to h-principle by Mahuya Datta

DATE & TIME: 25 December 2017 to 04 January 2018 VENUE: Madhava Lecture Hall, ICTS, Bangalore Holomorphic curves are a central object of study in complex algebraic geometry. Such curves are meaningful even when the target has an almost complex structure. The moduli space of these curves (

From playlist J-Holomorphic Curves and Gromov-Witten Invariants

Video thumbnail

Some Progress on Categorical Local Langlands - Linus Hamann

Joint IAS/Princeton University Number Theory Seminar Topic: Some Progress on Categorical Local Langlands Speaker: Linus Hamann Affiliation: Massachusetts Institute of Technology Date: March 31, 2022 The black hole information paradox — whether information escapes an evaporating black hol

From playlist Mathematics

Video thumbnail

Towards safe, reliable and trustworthy AI - Pushmeet Kohli, Google

Deep learning has resulted in rapid progress in the field of machine learning and artificial intelligence, leading to dramatically improved solutions of many challenging problems. As these models move out from the research lab into real work applications, it is important to ensure that the

From playlist Interpretability, safety, and security in AI

Video thumbnail

Is language unique to Homo sapiens? | Two radically different views | (Knowledge Bytes 1)

In this video, I discuss two theories of the origin of language: one which posits that language is unique to Homo sapiens and another which dates language back to Homo erectus.

From playlist What is Language?

Related pages

Regular expression | Kleene star | Regular language | Formal language | Deterministic finite automaton