271

you are viewing a single comment's thread
view the rest of the comments
[-] loafty_loafey@lemmy.world 3 points 1 year ago

You are probably thinking of Temporal logic which allows us to model if algorithms and programs terminate etc! It can be represented by using state machines tho!

[-] Prunebutt@feddit.de 2 points 1 year ago

It's been a while, so I'm quite rusty, especiallyeon the terminology, but I think we modelled feasible sequences of finite and infinite state machines using regexes.

That's how I was forced to learn 'em in uni. ;)

[-] loafty_loafey@lemmy.world 2 points 1 year ago

Ohhh I must be confusing the two! But yea, Regex is just NDAs in text form! The course I have had on it is one of my favorites! Really fun stuff

this post was submitted on 12 Nov 2023
271 points (95.3% liked)

Programmer Humor

32753 readers
61 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 5 years ago
MODERATORS