Reposted by ecsolticia
the pumping dilemna: there are a sequence of s people tied to a railroad track, s drawn from regular language L. if s is big enough, you can pull a lever l, you can split s into subsequences x y z, such that the trolley only hits y, the subsequence x z is still in L.
![(The command bat from the original image is replaced by that of cat)
ecs@pop-os:~/proj/merewrite$ cat test.mw
Emergence
What is EMERGENCE?
Emergence is the phenomenon wherein the whole is more than the sum of its parts.
ecs@pop-os:~/proj/merewrite$ cargo run
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.01s
Running `target/debug/merewrite`
# Emergence
What is **emergence**?
Emergence is the phenomenon wherein the whole is more than the sum of its parts.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:h5uflu6cfdbvjsggusevvy6i/bafkreiasl56tsqhtr2vfw45kic7mwxaomrzcj2pm4t4dbihyk5msj4h4c4)
![[assert]
AND(x,y) = NOT(OR(NOT(x),NOT(y)))
Result: TRUE](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:h5uflu6cfdbvjsggusevvy6i/bafkreigh7mrjht5xoaw3f5bnyx72kz2qboe446jir6tyjaadca2dgqg7me)