THE VIDEO SHELF · theory of computation
1. Introduction, Finite Automata, Regular Expressions
The first lecture of Michael Sipser's MIT 18.404J Theory of Computation course, covering course mechanics, finite automata, regular languages and regular expressions. It proves closure of regular languages under union and begins concatenation.
Why HN readers recommended it
HN recommends Sipser's free lectures as the companion to the standard theory of computation textbook and a path to understanding how computers fundamentally work.
This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.
Video & recommendation details
- Creator / channel
- MIT OpenCourseWare
- Topic
- theory of computation
- Format
- lecture
- Level
- intro
- HN recommenders in dataset
- 4
- HN mentions in dataset
- 5
- Recommendation years in dataset
- 2021–2025
These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.
From the original HN conversations
Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.
As someone else said already: Theory of Computation by Sipser is the go to intro book for this. I'd recommend really reading the book front to back honestly. It helps to have a complete picture of everything that leads up to getting into complexity theory. …
sky2224 on Hacker News · 2024-06
In Recommended Books on Computational Complexity TheoryAI won't ever be able to teach math because AI cannot reason. It handles information very differently than humans do. It is at best a flawed oracle that may lie through omission without you being able to tell. This is supported by the fact that …
trod123 on Hacker News · 2024-06
In Making AI better at math tutoring> if you require your parens to be balanced, that's no longer a regular language. TIL: [LINK] As someone who has only recently learned the formal definition of regular language ( Thanks to [VIDEO] as mentioned on this board recently ), I'm interested in the …
eterm on Hacker News · 2025-06
In The Princeton INTERCAL Compiler's source code
Summaries, classifications and recommendation records are from the HackerTube source dataset. Read about this library and its limitations.