Models of computation | Automata (computation)
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).
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
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
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
A simple gears mechanism moving a frame structure. Used in robot toys. Free 3D model at https://skfb.ly/o6X7q.
From playlist Walking Machines
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
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
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
How was it Made? Jacquard weaving
From playlist Engineering
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
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
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
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
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
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
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
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
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
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
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