Models of computation | Automata (computation)

Counter automaton

In computer science, more particular in the theory of formal languages, a counter automaton, or counter machine, is a pushdown automaton with only two symbols, and the initial symbol in , the finite set of stack symbols. Equivalently, a counter automaton is a nondeterministic finite automaton with an additional memory cell that can hold one nonnegative integer number (of unlimited size), which can be incremented, decremented, and tested for being zero. (Wikipedia).

Counter automaton
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

Counter Steering | The interesting physics behind it

Counter steering is an amazing technique used by many bike riders, and is very useful when making a quick turn and doing some bike stunts like this. At first, counter steering looks counter intuitive, you turn the handlebars to the left, but the motorcycle makes a quick right turn. What ar

From playlist Automobile Engineering

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

Mechatronics with MATLAB and Simulink, Part 10: Going to Hardware

Although robotics is the iconic example of a mechatronic system, in reality everything from toasters and vacuum cleaners to airplanes, space craft, and automobiles fall into this category. See what's new in the latest release of MATLAB and Simulink: https://goo.gl/3MdQK1 Download a trial

From playlist Mechatronics with MATLAB and Simulink

Video thumbnail

Learning Automata with Hankel Matrices - Borja Balle, Amazon Research Cambridge

The Hankel matrix is a fundamental tool in the theory of weighted automata. In this talk we will describe a general framework for learning automata with Hankel matrices. Our framework provides a unified view of many classical and recent algorithms for learning automata under different lear

From playlist Logic and learning workshop

Video thumbnail

The Curtis-Hedlund-Lyndon Theorem | Nathan Dalaklis | math academic talks

This is the second seminar talk that I have given as a math phd student. It is an expository academic talk that I gave as a Math PhD student during my second semester of my second year in my PhD program. The talk concerns the Factors of Symbolic Dynamical Systems and is focused on the Curt

From playlist Academic Talks

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

A Question Of Balance Wooden Toy 3D Model

Modeled and rendered with Solidworks.

From playlist Marble Machines

Video thumbnail

Mikolaj Bojanczyk: MSO+U

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Mathematical Aspects of Computer Science

Video thumbnail

Counterexample

Watch more videos on http://www.brightstorm.com/math/geometry SUBSCRIBE FOR All OUR VIDEOS! https://www.youtube.com/subscription_center?add_user=brightstorm2 VISIT BRIGHTSTORM.com FOR TONS OF VIDEO TUTORIALS AND OTHER FEATURES! http://www.brightstorm.com/ LET'S CONNECT! Facebook ► https

From playlist Geometry

Video thumbnail

Can You Navigate If You Don't Know Where You Are?

Suppose you are completely lost at night, you do have a map but you can't read the street signs. Can you find your way? The mathematics of synhronization. Links and resources: Penn & Teller's clock trick on Fool Us: https://www.youtube.com/watch?v=t-uXRepVPOg&t=2017s&ab_channel=ikaamowa

From playlist Summer of Math Exposition Youtube Videos

Video thumbnail

MakerBot Mystery Build: The Prototyping Will Be Televised

It's time for another MakerBot mystery build! Spot the cameos!

From playlist MakerBot Mystery Object

Video thumbnail

AWESOME antigravity electromagnetic levitator (explaining simply)

Physics levitron (science experiments)

From playlist ELECTROMAGNETISM

Video thumbnail

What We've Learned from NKS Chapter 3: The World of Simple Programs

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

Verónica Becher: Independence of normal words

Abstract : Recall that normality is a elementary form of randomness: an infinite word is normal to a given alphabet if all blocks of symbols of the same length occur in the word with the same asymptotic frequency. We consider a notion of independence on pairs of infinite words formalising

From playlist Logic and Foundations

Video thumbnail

What We've Learned from NKS Chapter 11: The Notion of Computation

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

Wim Martens: Graph data management – lecture 1

After giving a motivation of graph databases and an overview of the main data models, we will dive into foundational aspects of graph database query languages, with a strong focus on regular path queries (RPQs) and conjunctive regular path queries (CRPQs). We will consider the different se

From playlist Numerical Analysis and Scientific Computing

Video thumbnail

Just play with microwave transformer!

Just play with microwave transformer!

From playlist ELECTROMAGNETISM

Video thumbnail

Frank Buss' Hexagonal Cellular Automaton

Frank Buss' Hex Cellular Automaton, initialized with a glider gun and a rake. http://www.frank-buss.de/automaton/hexautomaton.html Generated with Ready: http://code.google.com/p/reaction-diffusion/

From playlist Ready

Related pages

Pushdown automaton | Regular language | Multitape Turing machine | Formal language | Turing machine | Nondeterministic finite automaton