Formal languages Memes

Posts tagged with Formal languages

Formal Languages: Where Logic Goes To Cry
Math Algorithms Programming
1 year ago 341.7K views 3 shares
Formal Languages: Where Logic Goes To Cry
Computer science theory professors be like: "It's so obvious, just follow along!" Then they hit you with formal language proofs that make calculus look like kindergarten arithmetic. The meme shows the classic "Gru's Plan" format but with formal language theory notation. Gru confidently sets up variables and constraints, then has that moment of confusion when he realizes he's just proven the language isn't regular - which is probably the opposite of what he was trying to prove. For the uninitiated: formal language theory is where computer scientists torture themselves by proving properties of languages using mathematical notation that looks like someone face-planted on a keyboard. Regular languages are the simplest type in the Chomsky hierarchy, and proving a language is not regular is a rite of passage that makes students question their life choices.

The Only Language I Speak Is AAAAAAAA
Algorithms Math Programming
1 year ago 355.9K views 1 shares
The Only Language I Speak Is AAAAAAAA
This is peak computer science theory humor! The image shows a Deterministic Finite Automaton (DFA) with state q0 that loops on input 'A' forever. For the uninitiated, DFAs are simple computational models that recognize regular languages by transitioning between states based on input symbols. This particular DFA can only process strings of repeated 'A's and literally nothing else - hence the "AAAAAAAAAA" language joke. It's basically the computational equivalent of a person who can only say one word. Computer scientists spent years studying these formal languages just so we could make this joke.