Theory of computation

Computation history

In computer science, a computation history is a sequence of steps taken by an abstract machine in the process of computing its result. Computation histories are frequently used in proofs about the capabilities of certain machines, and particularly about the undecidability of various formal languages. Formally, a computation history is a (normally finite) sequence of configurations of a formal automaton. Each configuration fully describes the status of the machine at a particular point. To be valid, certain conditions must hold: * the first configuration must be a valid initial configuration of the automaton and * each transition between adjacent configurations must be valid according to the transition rules of the automaton. In addition, to be complete, a computation history must be finite and * the final configuration must be a valid terminal configuration of the automaton. The definitions of "valid initial configuration", "valid transition", and "valid terminal configuration" vary for different kinds of formal machines. A deterministic automaton has exactly one computation history for a given initial configuration, though the history may be infinite and therefore incomplete. (Wikipedia).

Video thumbnail

History of computers - A Timeline

A timeline from the first computer, The Turing Machine, to the 1970's. Hope you guys enjoy,and make sure to subscribe and like! Adding subtitles for our video is welcomed! Your translation can help people around the world see our awesome videos! http://www.youtube.com/timedtext_cs_panel?c

From playlist Computers

Video thumbnail

Mechanics and the solar system | Math History | NJ Wildberger

The main historical problem in the history of science is: to explain what is going on with the night sky, in particular what the planets are doing. The resolution of this was the greatest achievement of the 17th century. The key figures were Copernicus, Galileo, Brahe, Kepler and most fa

From playlist MathHistory: A course in the History of Mathematics

Video thumbnail

Let's Take A Physics History Quiz!

Can't exactly derive a date.. Take a physics history quiz with me! Link: https://blog.oup.com/2017/09/history-of-physics-quiz/

From playlist Fun Physics Quizes!

Video thumbnail

Greek Mathematics: The Beginning of Greek Math & Greek Numerals

Welcome to the History of Greek Mathematics mini-series! This series is a short introduction to Math History as a subject and the some of the important theorems created in ancient Greece. You are watching the first video in the series. If this series interested you check out our blog for

From playlist The History of Greek Mathematics: Math History

Video thumbnail

History of Computers (part 2) - A Timeline

A Timeline Following after the 1970's comes the 1980's we will go all the way up to the 1990's This is the most exciting part of computer history yet. Sorry that we haven't posted in a while a loooooong while..... hope ya like this vid and we'll try our best to shorten the time:D Make

From playlist Computers

Video thumbnail

Episode 9: Early History - Project MATHEMATICS!

Episode 9. Early History of Mathematics: This video traces some of the landmark developments in the early history of mathematics, from Babylonian calendars on clay tablets produced 5000 years ago, to the introduction of calculus in the seventeenth century. A Program Guide and Workbook is

From playlist Courses and Series

Video thumbnail

Machine that Changed the World PT 2 "Inventing the Future" (ENIAC, UNIVAC, IBM) Computer History

Computer History: Episode# 2 of “The Machine that Changed The World” - "INVENTING THE FUTURE" This 1992 series (WGBH Boston & BBC) (narrated by Will Lyman of FRONTLINE) has excellent footage of early computing accomplishments and challenges from the invention of the 1946 ENIAC (J. Presp

From playlist Computer History: ENIAC 1944-1946: Origin and History of a Giant Brain

Video thumbnail

Quantum Computer in a Nutshell (Documentary)

The reservoir of possibilities offered by the fundamental laws of Nature, is the key point in the development of science and technology. Quantum computing is the next step on the road to broaden our perspective from which we currently look at the Universe. The movie shows the history of pr

From playlist Quantum computing

Video thumbnail

Before Pixar, There Was Bell Labs | Flashback | History

Some of the 20th century's most important inventions—computers, transistors, satellites—were pioneered at Bell Labs. But these scientists also delved into the creative, and their research in computer-generated films and music would set the foundation for an entire future of media. #History

From playlist Flashback | History

Video thumbnail

10. Computation History Method

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 configurations and computation

From playlist MIT 18.404J Theory of Computation, Fall 2020

Video thumbnail

Science & Technology Q&A for Kids (and others) [Part 111]

Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Find the playlist of Q&A's here: https://wolfr.am/youtube-sw-qa Originally livestreamed at: https://twitch.tv/stephen_wolfram If you missed the original livestream of thi

From playlist Stephen Wolfram Ask Me Anything About Science & Technology

Video thumbnail

Hacking: An Early History

In 2020 Cybercrime magazine wrote that “If it were measured as a country, then cybercrime — which is predicted to inflict damages totaling $6 trillion USD globally in 2021 — would be the world’s third-largest economy after the U.S. and China.” Insider magazine noted in 2017 that Billionai

From playlist History of Science and Math

Video thumbnail

Lord Byron's daughter and The First Computer Program

Ada Lovelace was an English author and mathematician who was one of the first to recognize that an invention by Charles Babbage could have uses far beyond the simple computation of numbers. The History Guy remembers poetry, mathematics, and Lovelace who was, among her other accomplishments

From playlist History without War

Video thumbnail

Vintage Computer: UNIVAC III Origin and History (LARC)

COMPUTER HISTORY: An Introduction to the UNIVAC III Computer of 1962 and its relationship to the UNIVAC LARC (Livermore Advanced Research Computer) at Lawrence Livermore National Laboratory. Built by Remington Rand UNIVAC Division of Sperry Rand, these giant machines are part of the leg

From playlist Computers of the 1960's

Video thumbnail

Stanford Seminar - Learning from history: the how and why of starting a computer history museum

Len Shustek Computer History Museum April 16, 2020 View the full playlist: https://www.youtube.com/playlist?list=PLoROMvodv4rMWw6rRoeSpkiseTHzWj6vu

From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series

Video thumbnail

1950-1983 Computer History at Lawrence Livermore Nat's Labs, UNIVAC LARC, IBM, CDC, CRAY

Computer History: A 1983 film by Lawrence Livermore National Laboratory (“LLNL”), gives a fascinating and concise history of its computer developments both as a purchaser of early computers and a co-designer of many early technologies, from the early 1950’s up to 1983 (where the film end

From playlist IBM Vintage Mainframes & Large Systems 1944-1996 (Computer History Playlist)

Video thumbnail

Computer History: Origin of the UNIVAC 1103A Scientific Computer (1953, 1956) ERA, Sperry Rand

UNIVAC: This presentation explores the history of the UNIVAC 1103A SCIENTIFIC COMPUTER, the most powerful scientific computer of its time. Used by the U.S. Navy, Air Force, National Security Agency, NASA and many others. Rare films and high quality photos show the development of the mach

From playlist Computer History: UNIVAC, Remington Rand, Sperry Rand

Video thumbnail

Git Overview - Computerphile

One of the most useful tools in code development, Git protects your code from yourself and others! Dr Max Wilson gives us an overview. https://www.facebook.com/computerphile https://twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the U

From playlist Git with Dr Max Wilson

Video thumbnail

Drawn History: The 1930s | History

Learn more about the 1930s, a particularly tumultuous decade in world history that got its start with a bang - or, more accurately, a crash. Subscribe for more HISTORY: http://histv.co/SubscribeHistoryYT Newsletter: https://www.history.com/newsletter Website - http://www.history.com /pos

From playlist Drawn History: Illustrations & Animations of Historical Events | History

Video thumbnail

Behind the Bezel: Coin-Op Arcade Video Game Cabinets as Design History

From the Interactive Media & Games Seminar Series; Raiford Guins, Associate Professor of Culture and Technology within the Department of Cultural Analysis and Theory at Stony Brook University, argues for an expanded view of ‘game design’ to account for the industrial and graphic design of

From playlist Interactive Media & Games SPRING 2015

Related pages

Undecidable problem | Mathematical proof | Finite set | Abstract machine | Context-free language