From DFAs to Büchi Automata on Infinite Words

As part of my third-year undergraduate extended essay, I'm looking at Büchi automata. I had encountered deterministic and non-deterministic finite automata (DFAs and NFAs) previously as part of a course called Models of Computation. Büchi automata are a nice extension to these basic automata - they…

Platonism, Formalism, Rationalism, and Axioms

-><- Over the summer vacation from university, I was given the assignment of reading a (relatively) recent mathematical paper, writing a report on it, and preparing a presentation. Of the papers on offer, I chose to read Jan Mycielski's 2006 paper, A System of Axioms of Set Theory…

My recent internship

I recently completed a ten-week software engineering internship at Micro Focus in Newbury, Berkshire. I learned a lot, and thought I would write a blog post about it! What I Did Working with six other interns and two regular developers, I developed a viewer and editor for data files mostly…