Models of computation | Automata (computation)

Thread automaton

In automata theory, the thread automaton (plural: automata) is an extended type of finite-state automata that recognizes a mildly context-sensitive language class above the tree-adjoining languages. (Wikipedia).

Video thumbnail

Marble automata

I found the plans for this model on this site (http://scrollsawworkshop.blogspot.com.br/2008/10/marble-automation-machine.html). Free 3D model at https://skfb.ly/o6vRE.

From playlist Marble Machines

Video thumbnail

Mechanical Dragonfly Automata Kit Build and Review!

Time for a model kit build! This steampunk-inspired mechanical dragonfly is something we've seen advertised on social media, and Norm assembles it to show you how the kit comes together, its motorized kinetic movement, and what hiccups he encountered along the way. It's an aesthetically be

From playlist Toys, Models and Collectibles

Video thumbnail

Concept of a vector

This shows an small game that illustrates the concept of a vector. The clip is from the book "Immersive Linear Algebra" at http://www.immersivemath.com

From playlist Chapter 2 - Vectors

Video thumbnail

Walking Gears

A simple gears mechanism moving a frame structure. Used in robot toys. Free 3D model at https://skfb.ly/o6X7q.

From playlist Walking Machines

Video thumbnail

4. Pushdown Automata, Conversion of CFG to PDA and Reverse Conversion

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 Quickly reviewed last lecture. Defined context free grammars (CFGs) a

From playlist MIT 18.404J Theory of Computation, Fall 2020

Video thumbnail

Teaching Machines How To Act Like Humans And Animals | Mechanical Marvels: Clockwork Dreams | Spark

Professor Simon Schaffer presents a documentary telling the story of automata, extraordinary clockwork machines designed hundreds of years ago to mimic and recreate life. Subscribe to Spark for more amazing science, tech and engineering videos - https://goo.gl/LIrlur Follow us on Facebo

From playlist Spark Top Docs

Video thumbnail

Vector Calculus 1: What Is a Vector?

https://bit.ly/PavelPatreon https://lem.ma/LA - Linear Algebra on Lemma http://bit.ly/ITCYTNew - Dr. Grinfeld's Tensor Calculus textbook https://lem.ma/prep - Complete SAT Math Prep

From playlist Vector Calculus

Video thumbnail

Four-Legs Walking-Machine 3D Model

Based on this site: (http://www.armure.ch/WALKING.htm). Modeled with Solidworks 2015. Rendered with Simlab Composer 7 Mechanical Edition.

From playlist Walking Machines

Video thumbnail

What We've Learned from NKS Chapter 9: Fundamental Physics

In this episode of "What We've Learned from NKS", Stephen Wolfram is counting down to the 20th anniversary of A New Kind of Science with [another] chapter retrospective. If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or th

From playlist Science and Research Livestreams

Video thumbnail

Behind the Scenes Commentary for LiveCoding Challenge

Jesse provides live behind-the-scenes commentary of the LiveCoding competition from the Wolfram Summer School.

From playlist Stephen Wolfram Livestreams

Video thumbnail

Amazing railway track laying machine

I want one of these.

From playlist Science

Video thumbnail

2. Nondeterminism, Closure Properties, Conversion of Regular Expressions to FA

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 Quickly reviewed last lecture. Introduced nondeterministic finite aut

From playlist MIT 18.404J Theory of Computation, Fall 2020

Video thumbnail

Matlab Autopilot & Flight Dynamics 2012 (MINT)

The simulation shows an Autopilot. It contains a physical model of an Airplane and its control system. The Aircraft flies along a predefined route realized along the following lines: - Modeling a rigid body for the Airplane - Creating a graphical environment - Implement interactive

From playlist MATLAB and Simulink Student Challenge 2013 Entries

Video thumbnail

Emmanuel Filiot : Transductions - Partie 1

Résumé : Après une introduction générale présentant les principaux modèles et problèmes étudiés, nous étudierons plus précisément trois sujets qui permettront d’illustrer des propriétés algorithmiques, des aspects algébriques et logiques de cette théorie : - caractérisation, décision et mi

From playlist Logic and Foundations

Video thumbnail

What We've Learned from NKS Chapter 12: The Principle of Computational Equivalence [Part 1]

In this episode of "What We've Learned from NKS", Stephen Wolfram is counting down to the 20th anniversary of A New Kind of Science with [another] chapter retrospective. If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or th

From playlist Science and Research Livestreams

Video thumbnail

Bridges 2018 talk - Möbius cellular automata scarves

This is a talk I gave with Sabetta Matsumoto at the Bridges conference on mathematics and the arts (http://bridgesmathart.org/), on 27th July 2018, about our paper with Fabienne "fbz" Serriere: http://archive.bridgesmathart.org/2018/bridges2018-523.pdf Knityak, Fabienne's computational k

From playlist Talks

Video thumbnail

6. TM Variants, Church-Turing Thesis

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 Quickly reviewed last lecture. Showed that various TM variants are al

From playlist MIT 18.404J Theory of Computation, Fall 2020

Video thumbnail

1 Vectors

A short refresher on vectors. Before I introduce vector-based functions, it's important to look at vectors themselves and how they are represented in python™ and the IPython Notebook using SymPy.

From playlist Life Science Math: Vectors

Video thumbnail

Stephen Wolfram's Picks of Cellular Automata from the Computational Universe

Join our inaugural liveminting event, where you'll see the live creation of unique NFTs for Stephen Wolfram's picks of cellular automata from the computational universe. Mint your own NFT in the Wolfram Language using the Wolfram Function Repository function MintNFT: https://resources.wol

From playlist Stephen Wolfram Livestreams

Related pages

Finite-state machine | Kleene star | Closure (mathematics) | Prefix (computer science) | Automata theory | Tree-adjoining grammar