Finite automata

Thompson's construction

In computer science, Thompson's construction algorithm, also called the McNaughton–Yamada–Thompson algorithm, is a method of transforming a regular expression into an equivalent nondeterministic finite automaton (NFA). This NFA can be used to match strings against the regular expression. This algorithm is credited to Ken Thompson. Regular expressions and nondeterministic finite automata are two representations of formal languages. For instance, text processing utilities use regular expressions to describe advanced search patterns, but NFAs are better suited for execution on a computer. Hence, this algorithm is of practical interest, since it can compile regular expressions into NFAs. From a theoretical point of view, this algorithm is a part of the proof that they both accept exactly the same languages, that is, the regular languages. An NFA can be made deterministic by the powerset construction and then be minimized to get an optimal automaton corresponding to the given regular expression. However, an NFA may also be interpreted directly. To decide whether two given regular expressions describe the same language, each can be converted into an equivalent minimal deterministic finite automaton via Thompson's construction, powerset construction, and DFA minimization. If, and only if, the resulting automata agree up to renaming of states, the regular expressions' languages agree. (Wikipedia).

Thompson's construction
Video thumbnail

The Thompson Gun: From Gangland Weapon to Military Icon

The Thompson submachine gun, also known as the "Tommy Gun," is a historical firearm with an interesting and lengthy history. John T. Thompson created it in the early 1900s with the intention of using it for military purposes, but it quickly gained popularity among law enforcement and civil

From playlist Combat Tech

Video thumbnail

Blood, concrete, and dynamite: Building the Hoover Dam - Alex Gendler

Dig into the engineering of the Hoover Dam, a concrete arch-gravity dam on the Colorado River that supplies water to the US southwest. -- In the early 20th century, the US had expanded from coast to coast, but many cities in the southwest still lacked reliable water sources. The Colorado

From playlist Epic engineering: How did this get made

Video thumbnail

The Hoover Dam: an Engineering and Artistic Masterpiece

Located on the border between Arizona and Nevada, the Hoover Dam is an iconic structure that has stood the test of time for nearly a century. Built in the 1930s to provide hydroelectric power and help control floods in the Colorado River, the Hoover Dam is a testament to human ingenuity an

From playlist Iconic Builds

Video thumbnail

How are Underwater Structures Built?

A quick overview of how we build underwater structures. Oceans, rivers, and lakes are often beautiful, but they’re not necessarily convenient places to build things. Yet, many types of the infrastructure we depend on every day, including wharves, bridges, and dams, are founded below the w

From playlist Civil Engineering

Video thumbnail

2 Construction of a Matrix-YouTube sharing.mov

This video shows you how a matrix is constructed from a set of linear equations. It helps you understand where the various elements in a matrix comes from.

From playlist Linear Algebra

Video thumbnail

Fill In The Blank (Dynamics/Friction)

#Physics #Dynamics #Engineering #TikTok #NicholasGKK #shorts

From playlist Mechanical Engineering

Video thumbnail

HOW IT'S MADE: Springfield Rifles

The manufacturing is explained in a factory sometime in the 1950's with an interview by the legend John Garand.

From playlist Mechanical Engineering

Video thumbnail

Discrete Structures: Finite State Machines, Thompson's Constructions

Learn how to use Thompson's Constructions to convert a regular expressions to an NFA, then convert the NFA to a DFA.

From playlist Discrete Structures, Spring 2022

Video thumbnail

Lec 5 | MIT 5.111 Principles of Chemical Science, Fall 2005

Matter As a Wave (Prof. Sylvia Ceyer) View the complete course: http://ocw.mit.edu/5-111F05 License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu

From playlist MIT 5.111 Principles of Chemical Science, Fall 2005

Video thumbnail

Lec 5 | MIT 5.112 Principles of Chemical Science, Fall 2005

Matter as a Wave View the complete course: http://ocw.mit.edu/5-112F05 License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu

From playlist MIT 5.112 Principles of Chemical Science, Fall 2005

Video thumbnail

The Abel Prize announcement 2008 - John Thompson and Jacques Tits

0:00 Welcome by chair of the Mathematics group in The Norwegian Academy of Science and Letters, Tom Lyche 1:45 The Abel Prize announced by Ole Didrik Lærum, President of The Norwegian Academy of Science and Letters 2:41 Citation by Kristian Seip, Chair of the Abel committee 8:18 Professor

From playlist John Griggs Thompson

Video thumbnail

Discrete Structures: NFA with epsilon transitions to DFA

In this session we'll introduce NFAs with epsilon transitions and show how they can be transformed into DFAs. We will also go over my version of Thompson's constructions, use them to transform a regular expression in to an NFA, and then transform the resulting NFA into a DFA. This will giv

From playlist Discrete Structures

Video thumbnail

Fatal Flight audiobook: Chapter Ten: The Causes of R.101's Crash (12/14)

Download this audiobook, view the figures in the print version, or read the appendices at http://www.engineerguy.com/airship. Fatal Flight: The True Story of Britain's Last Great Airship is written by Bill Hammack and read by the author. Fatal Flight brings vividly to life the year of ope

From playlist Fatal Flight: Audiobook

Video thumbnail

A09 The Hamiltonian

Moving on from Lagrange's equation, I show you how to derive Hamilton's equation.

From playlist Physics ONE

Video thumbnail

Meet New CIOB President Rebecca Thompson

Rebecca Thompson discusses how she got into construction, her rise to the Chartered Institute of Building (CIOB) presidency, love of the heritage sector and how to inspire more young people into our industry. For more videos by The B1M subscribe now - http://ow.ly/GxW7y Read the full sto

From playlist Fred Mills - The B1M

Video thumbnail

Marjorie Wikler Senechal - Unwrapping a Gem - CoM Apr 2021

If the celebrated Scottish zoologist D’Arcy W. Thompson (1860 – 1948) could have met the near-legendary German astronomer Johannes Kepler (1571 – 1630), what would they talk about? Snowflakes, maybe? It is true that both men wrote about their hexagonal shapes. But they both wrote about Arc

From playlist Celebration of Mind 2021

Video thumbnail

Marcus du Sautoy: Symmetry explained

Marcus Peter Francis du Sautoy is a British mathematician, author, and populariser of science and mathematics. You can view more content of Marcus du Sautoy here: https://www.youtube.com/channel/UCYF21Xc9fSdqVWRxpBAOleQ/featured This video is a clip from the Abel Prize Announcement 2008.

From playlist Popular presentations

Video thumbnail

What is Concrete?

What's the difference between concrete and cement? Concrete is the most important construction material on earth and foundation of our modern society. At first glance it seems rudimentary, but there is a tremendous amount of complexity involved in every part of designing and placing conc

From playlist Civil Engineering

Video thumbnail

The Basic Structure of the Atom | Chemistry and Our Universe: How it All Works

Chemistry is the study of matter and energy at the scale of atoms and molecules. As the most all-embracing discipline there is, it should be at the top of everyone’s list of must-learn subjects. Unfortunately, chemistry has an undeserved reputation for difficulty and abstraction. Any subje

From playlist Science

Related pages

Kleene's algorithm | Regular expression | Kleene star | Mathematical induction | Powerset construction | Regular language | Glushkov's construction algorithm | Formal language | Deterministic finite automaton | Pattern matching | Algorithm | DFA minimization | Nondeterministic finite automaton | Up to