Formal languages

List of formal language and literal string topics

This is a list of formal language and literal string topics, by Wikipedia page. (Wikipedia).

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

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

Lesson 06_02 Introduction to strings

In this section I introduce the basic concept of a string.

From playlist The Julia Computer Language

Video thumbnail

SEM101 - Word Semantics

How are lexemes and objects related? How can we define the relationships between the lexemes of a language? These questions are central to word semantics and defineits main branches reference and sense. This E-Lecture provides an overview of these main areas of word semantics.

From playlist VLC101 - Linguistic Fundamentals

Video thumbnail

Lesson 06_01 Strings

In this lesson I introduce you to the basic concepts of strings and characters in Julia. We will take a look at the various functions that can manipulate strings and conclude with a section on regular expressions.

From playlist The Julia Computer Language

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

SYN103 - Grammar (Overview)

There is a great deal of confusion about the term 'grammar'. Most people associate with it a book written about a language. In fact, there are various manifestations of this traditional term: presecriptive, descriptive and reference grammar. In theoretical linguistics, grammars are theory

From playlist VLC107 - Syntax: Part II

Video thumbnail

Parser and Lexer — How to Create a Compiler part 1/5 — Converting text into an Abstract Syntax Tree

In this tool-assisted education video I create a parser in C++ for a B-like programming language using GNU Bison. For the lexicographical analysis, a lexer is generated using re2c. This is part of a multi-episode series. In the next video, we will focus on optimization. Become a member:

From playlist Creating a Compiler

Video thumbnail

Computation Ep23, Stack Machines Formally (Mar 25, 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

COMMON, PROPER, COUNT, and MASS NOUNS - ENGLISH GRAMMAR

We introduce common nouns, proper nouns, and some tests. Nouns are people, places, things, or abstract ideas. Nouns appear after determiners, quantifiers, or as the subject of a sentence. Nouns can be countable or uncountable/mass. LIKE AND SHARE THE VIDEO IF IT HELPED! Support me on P

From playlist English Grammar

Video thumbnail

Wolfram Physics Project: Relations to Category Theory

Stephen Wolfram and special guests discuss the Wolfram Physics Project and its relations to Category Theory. Begins at 9:50 Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check out the announc

From playlist Wolfram Physics Project Livestream Archive

Video thumbnail

Automating Content Management Using the Wolfram Technology Stack

"Due to the ""API first"" and ""cloud micro service"" trends, automating state-of-the-art, multichannel content creation and delivery is a sophisticated and involved process: Services from many different providers need to be orchestrated; content has to be read from many different sou

From playlist Wolfram Technology Conference 2021

Video thumbnail

Python - NLP Pipeline Data Processing 2 (2023 New)

Lecturer: Dr. Erin M. Buchanan Spring 2023 https://www.patreon.com/statisticsofdoom In this video, you will learn about how to extract and process data for NLP pipelines. Topics covered include data extraction (html, srt, txt, pdf, ocr), data cleaning (html, spell checking, regular expres

From playlist Natural Language Processing

Video thumbnail

Compilation - Part Three: Syntax Analysis

This is part three of a series of videos about compilation. Part three is about syntax analysis. It explains how the syntax analyser, otherwise known as the parser, takes a token stream from the lexical analyser, and checks it to make sure that the rules of the source language have been

From playlist Compilation

Video thumbnail

Christian Szegedy - Deep Learning for Formal Reasoning

Here I will discuss the frontier of research for formal reasoning via deep neural networks. I will highlight the most recent progress in the area, especially automated theorem proving and automated formalization of natural language text. Also, I will discuss the role of language models, co

From playlist Mikefest: A conference in honor of Michael Douglas' 60th birthday

Video thumbnail

Live CEOing Ep 112: Language Design in Wolfram Language

Watch Stephen Wolfram and teams of developers in a live, working, language design meeting. This episode is about Language Design in the Wolfram Language.

From playlist Behind the Scenes in Real-Life Software Design

Video thumbnail

CS50 2021 in HDR - Lecture 3 - Algorithms

This is CS50, Harvard University's Introduction to the intellectual enterprises of computer science and the art of programming. Enroll for free at https://cs50.edx.org/. Slides, source code, and more at https://cs50.harvard.edu/x. Playlist at https://www.youtube.com/playlist?list=PLhQjrBD2

From playlist CS50 Lectures 2021 (HDR)

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

Related pages

Palindrome | Prefix grammar | Scytale | Cardan grille | ECLR-attributed grammar | Parsing expression grammar | Syntax (logic) | Caesar cipher | Frequency analysis | Context-free grammar | Tree-adjoining grammar | Transposition cipher | Star height | Vigenère cipher | Formal grammar | Autokey cipher | Regular language | ROT13 | Syntactic monoid | Bifid cipher | Abstract syntax tree | Formal language | L-attributed grammar | Cryptography | Polybius square | Context-sensitive language | Infinite monkey theorem | Index of coincidence | Regular expression | S-attributed grammar | Context-sensitive grammar | Substitution cipher | Star height problem | Regular grammar | Concatenation | Tabula recta | Categorial grammar | Sequence alignment | Enigma machine | LR-attributed grammar | Chomsky hierarchy | Kleene star | Formal system | Steganography | Kleene algebra | Recursively enumerable language | Playfair cipher