HackerTube

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 Theory
  • AI 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.