bert hubert πΊπ¦πͺπΊ on Nostr: "Undecidability of emptiness" is sadly not a band but part of the theory of parsing ...
"Undecidability of emptiness" is sadly not a band but part of the theory of parsing expression grammars. Which are fascinating -> https://en.wikipedia.org/wiki/Parsing_expression_grammar#Theory_of_parsing_expression_grammars