Models of computation | Register machines

Register machine

In mathematical logic and theoretical computer science a register machine is a generic class of abstract machines used in a manner similar to a Turing machine. All the models are Turing equivalent. (Wikipedia).

Video thumbnail

Fetch Decode Execute Cycle and the Accumulator

This (silent) video illustrates the fetch decode execute cycle. A simplified view of the CPU focusses on the role of the accumulator register when a program runs. For simplicity, the machine code commands being executed are represented by assembly language code. This assembly language co

From playlist Computer Hardware and Architecture

Video thumbnail

Amazing railway track laying machine

I want one of these.

From playlist Science

Video thumbnail

Bus architecture and how register transfers work - 8 bit register - Part 1

Before we build the registers for our 8-bit computer, this video describes the basic operation of the bus and how data moves from one module to another across the bus. See https://eater.net/bbcpu8-registers for more. Support me on Patreon: https://www.patreon.com/beneater

From playlist Building an 8-bit breadboard computer!

Video thumbnail

Computer Basics: What Is a Computer?

Computers are all around us, and they play an important role in our lives. But what exactly is a computer? We're going to answer that question and give you an overview of some of the different types of computers you might use. 0:00 Intro 0:22 Ones and zeros 0:39 Hardware and software 1:0

From playlist Starting out with Technology

Video thumbnail

Machine Learning

If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.

From playlist Machine Learning

Video thumbnail

A Question Of Balance Wooden Toy 3D Model

Modeled and rendered with Solidworks.

From playlist Marble Machines

Video thumbnail

HOW IT WORKS: Old Typesetting Machines

Describes the operation of automatic type equipment.

From playlist HOW IT WORKS

Video thumbnail

Virtual Machine Full Course

In computing, a virtual machine (VM) is the virtualization/emulation of a computer system. Virtual machines are based on computer architectures and provide functionality of a physical computer. Their implementations may involve specialized hardware, software, or a combination. In this #vir

From playlist Virtual Machine

Video thumbnail

Compilation - Part Five: Object Code Generation

This is part five of a series of videos about compilation. Part five is about generating machine code from intermediate representations of a program, such as syntax trees or three address code (TAC). It covers instruction selection, register allocation and assignment and instruction orde

From playlist Compilation

Video thumbnail

ElixirConf 2015 - Virtually Instructional by Lennart Fridén

It's been stated that in order to make full use of BEAM, the Erlang virtual machine, any language implemented on top of it needs to adhere to the semantics of Erlang. Yet, other virtual machines, such as Parrot, stemming from the Perl 6 community, or JVM, the Java virtual machine, support

From playlist ElixirConf 2015

Video thumbnail

[Rust Programming] Advent of Code Episode 28 - 2015 Day 23

0:00 Intro 4:20 Setup and Configuration 7:00 Parser 15:07 Virtual Machine and Part 1 25:14 Part 2 #aoc #adventofcode #rust #rustlang #aoc2015

From playlist Advent of Code

Video thumbnail

Stanford Lecture: Donald Knuth - "MMIX: A RISC Computer for the New Millennium" (February 9, 1999)

February 9, 1999 Professor Knuth is the Professor Emeritus at Stanford University. Dr. Knuth's classic programming texts include his seminal work The Art of Computer Programming, Volumes 1-3, widely considered to be among the best scientific writings of the century.

From playlist Donald Knuth Lectures

Video thumbnail

Lecture 10A: Compilation

MIT 6.001 Structure and Interpretation of Computer Programs, Spring 2005 Instructor: Harold Abelson, Gerald Jay Sussman, Julie Sussman View the complete course: https://ocw.mit.edu/6-001S05 YouTube Playlist: https://www.youtube.com/playlist?list=PLE18841CABEA24090 Compilation License: Cr

From playlist MIT 6.001 Structure and Interpretation, 1986

Video thumbnail

SPOILERS - Synacor Challenge - First Day - Rustlang

Jump forward to 06:30 to skip over the muted mic (although all I was doing was reading the documentation). Today I decided to do something different, and try out the Synacor Challenge. https://challenge.synacor.com if you'd like to try it yourself. I don't want to give out any spoilers in

From playlist Programming Challenges

Video thumbnail

Lecture 9A: Register Machines

MIT 6.001 Structure and Interpretation of Computer Programs, Spring 2005 Instructor: Harold Abelson, Gerald Jay Sussman, Julie Sussman View the complete course: https://ocw.mit.edu/6-001S05 YouTube Playlist: https://www.youtube.com/playlist?list=PLE18841CABEA24090 Register Machines Licen

From playlist MIT 6.001 Structure and Interpretation, 1986

Video thumbnail

Embedded Systems - Chap 3a - PIC16F886 Instruction Set - Professor E. Ambikairajah - UNSW Sydney

Electrical Systems Design (Embedded Systems Design) - PIC16F886 Instruction Set - Computer Interfacing - Microcontrollers - Electronic Whiteboard-Based Lecture - Lecture notes available from: http://eemedia.ee.unsw.edu.au/contents/elec2117/LectureNotes/

From playlist Introduction to Embedded Systems - by Professor Eliathamby Ambikairajah UNSW Sydney

Video thumbnail

Lecture 9B: Explicit-control Evaluator

MIT 6.001 Structure and Interpretation of Computer Programs, Spring 2005 Instructor: Harold Abelson, Gerald Jay Sussman, Julie Sussman View the complete course: https://ocw.mit.edu/6-001S05 YouTube Playlist: https://www.youtube.com/playlist?list=PLE18841CABEA24090 Explicit-control Evaluat

From playlist MIT 6.001 Structure and Interpretation, 1986

Video thumbnail

[c][explained] Demystifying Pointers — Function Pointers

Find the complete program on https://www.notion.so/theteachr/Function-Pointers-9848de630cae47a7ad1ca5552d23a66d.

From playlist Demystifying Pointers

Video thumbnail

RubyConf 2021 - Some Assembly Required by Aaron Patterson

Some Assembly Required by Aaron Patterson Let's write a JIT for Ruby, in Ruby! We're going to learn how a JIT works from the ground up by building TenderJIT, a pure Ruby JIT compiler. First, we'll learn how Ruby's virtual machine works, then we'll learn how to plug a JIT in to the virtual

From playlist RubyConf 2021

Related pages

Ackermann function | Primitive recursive function | Algorithm characterizations | Busy beaver | Theoretical computer science | Turing completeness | Wang B-machine | Juris Hartmanis | Random-access stored-program machine | WDR paper computer | Universal Turing machine | George Boolos | Indirection | Arthur Burks | John von Neumann | Hans Hermes | Rózsa Péter | Turing machine gallery | Alan Turing | Counter machine | Abraham Robinson | Turing machine examples | Integer | Post–Turing machine | Turing machine | Random-access machine | McCarthy Formalism | Halting problem | Stack machine | Joachim Lambek | Diophantine equation | Hao Wang (academic) | Mathematical logic | Abstract machine | Partial function | Counter-machine model | Algorithm | Pointer machine