Skip to main content

Questions tagged [formal-languages]

A formal language is a collection of words over an alphabet, i.e. strings of symbols from the alphabet, according to certain rules. (from nLab)

2 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
2 votes
0 answers

Formally verified email or communication?

This question is contextualized by having an account hacked which is prompting me to move towards something I’ve long wanted to anyway. I would like to consider the simplest possible formally verified ...
Julius Hamilton's user avatar
0 votes
0 answers

Formalization of partial functions for combinatorial counting

I need assistance in defining axioms for partial functions in total function theory that is available in Coq. Specifically, I'm looking for a constructive definition of a partial function that ...
arshiamoeini's user avatar