Formal languages | Combinatorics on words

Alphabet (formal languages)

In formal language theory, an alphabet is a non-empty set of symbols/glyphs, typically thought of as representing letters, characters, or digits but among other possibilities the "symbols" could also be a set of phonemes (sound units). Alphabets in this technical sense of a set are used in a diverse range of fields including logic, mathematics, computer science, and linguistics. An alphabet may have any cardinality ("size") and depending on its purpose maybe be finite (e.g., the alphabet of letters "a" through "z"), countable (e.g., ), or even uncountable (e.g., ). Strings, also known as "words", over an alphabet are defined as a sequence of the symbols from the alphabet set. For example, the alphabet of lowercase letters "a" through "z" can be used to form English words like "iceberg" while the alphabet of both upper and lower case letters can also be used to form proper names like "Wikipedia". A common alphabet is {0,1}, the binary alphabet, and a "00101111" is an example of a binary string. Infinite sequence of symbols may be considered as well (see Omega language). It is often necessary for practical purposes to restrict the symbols in an alphabet so that they are unambiguous when interpreted. For instance, if the two-member alphabet is {00,0}, a string written on paper as "000" is ambiguous because it is unclear if it is a sequence of three "0" symbols, a "00" followed by a "0", or a "0" followed by a "00". (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

PHY112 - Phonetic Transcription II

This clip discusses the ingredients and principles of an phonetic alphabet, in particular the principles of the IPA. Furthermore, the different variants of a notation for PDE are discussed. Historically, most modern systems for the transcription of English follow the principles of the IPA

From playlist VLC109 - Phonetics and Phonology

Video thumbnail

GEN 140 - The Evolution of Writing

In this first of two related E-lectures, Prof. Handke discusses the orgins of modern writing, from early paintings found 17,000 BC, via proto-writing systems, such as tallies or the Inca Quipu-system, to the predecessors of modern writing, such as the Cuneiform system.

From playlist VLC108 - Language Typology

Video thumbnail

STRINGS and LANGUAGES - Formal Languages and Automata

We talk all about strings, alphabets, and languages. We cover length, concatenation, substrings, and reversals. We also talk about palindromes! 0:00 - [Intro] 2:54 - [Length of a String] 4:40 - [Reverse of a String] 7:48 - [Substrings] 10:06 - [Concatenation] 13:04 - [Summative Exercise]

From playlist Formal Languages and Automata

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

SYN109 - Word Stores

This E-lecture first draws a distinction between dictionaries and lexicons and then discusses the role of the lexicon in linguistics. It shows how lexical entries are specified linguistically.

From playlist VLC206 - Morphology and Syntax

Video thumbnail

PHY111 - Phonetic Transcription I

In order to describe the sound system of a language we need a specific notation system, referred to as phonetic transcription. This unit discusses the arguments in favor of a phonetic transcription system and introduces possible variants. Central Topics: Orthography vs. Transcription N

From playlist VLC109 - Phonetics and Phonology

Video thumbnail

[Discrete Mathematics] Formal Languages

We do a quick introduction to formal langauges. The alphabet, rules, and language. Visit our website: http://bit.ly/1zBPlvm Subscribe on YouTube: http://bit.ly/1vWiRxW *--Playlists--* Discrete Mathematics 1: https://www.youtube.com/playlist?list=PLDDGPdw7e6Ag1EIznZ-m-qXu4XX3A0cIz Discret

From playlist Discrete Math 1

Video thumbnail

Theory of Computation: Stack Machines formal description

This video is for my Spring 2020 section of MA 342, for the class meeting on Wednesday March 18. Visit the class website for homework as usual! Fast forward music is from "Now Get Busy" by the Beastie Boys, licensed Creative Commons Noncommercial Sampling Plus.

From playlist Math 342 (Theory of Computation) Spring 2020

Video thumbnail

Stack machines more!: Theory of Computation (Mar 17 2021)

This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math & computer science majors at Fairfield University, Spring 2021. Class website: http://cstaecker.fairfield.edu/~cstaecker/courses/2021s3342/

From playlist Math 3342 (Theory of Computation) Spring 2021

Video thumbnail

Computation Ep18, Grammars (Mar 8, 2022)

This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math and computer science majors at Fairfield University, Spring 2022. The course is about finite automata, Turing machines, and related topics. Homework and handouts at the class websi

From playlist Math 3342 (Theory of Computation) Spring 2022

Video thumbnail

Languages intro: Theory of Computation (Jan 27 2021)

Basic terminology about formal languages and an intro to DFAs. This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math & computer science majors at Fairfield University, Spring 2021. Class website: http://cstaecker.fairfield.edu/~cstae

From playlist Math 3342 (Theory of Computation) Spring 2021

Video thumbnail

Computation Ep6, more DFAs formally (Jan 26, 2022)

This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math and computer science majors at Fairfield University, Spring 2022. The course is about finite automata, Turing machines, and related topics. Homework and handouts at the class websi

From playlist Math 3342 (Theory of Computation) Spring 2022

Video thumbnail

More NFAs: Theory of Computation (Feb 12 2021)

More about NFAs. Due to a technical disaster on campus my video cropping was messed up- I'm very sorry for the inconvenience, and hopefully you can still make sense of the video. This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math

From playlist Math 3342 (Theory of Computation) Spring 2021

Video thumbnail

ASCII and Unicode Character Sets

This video describes the fundamental principles of character sets, character encoding, ASCII and Unicode. In particular, it covers the limitations of ASCII and the plethora of extended ASCII code pages. It also covers the design goals of Unicode, and describes the way control bits are al

From playlist GCSE Computer Science

Video thumbnail

1. Introduction, Finite Automata, Regular Expressions

MIT 18.404J Theory of Computation, Fall 2020 Instructor: Michael Sipser View the complete course: https://ocw.mit.edu/18-404JF20 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP60_JNv2MmK3wkOt9syvfQWY Introduction; course outline, mechanics, and expectations. Described

From playlist MIT 18.404J Theory of Computation, Fall 2020

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

Related pages

Regular expression | Formal grammar | Kleene star | Combinatorics on words | Semiautomaton | Finite set | Introduction to Automata Theory, Languages, and Computation | Cardinality | Empty string | Deterministic finite automaton | Sequence | Omega language | Algorithm | Automata theory | String (computer science)