Questions tagged [formal-systems]
The formal-systems tag has no usage guidance.
3
questions with no upvoted or accepted answers
5
votes
0
answers
163
views
Salomaa's axiomatisation of regular languages and the use of regular expression in it
I am reading the classical article of A. Salomaa where he gives two axiom systems for regular sets and proofs consistency and completeness.
As I have understood it, an axiomatic system in some logic (...
- 2,077
0
votes
0
answers
88
views
Can lambda-calculus, or other formal systems / calculi, be represented using set theory?
Background: I'm a fresh grad student looking into interesting ideas I have. I do not have any theoretical computer science background beyond basic Theory of Computation stuff from undergrad.
If I have ...
- 141
-1
votes
1
answer
59
views
semantics of "destroy object" in HRU model
In the access control model HRU there is the primitive request destroy object o which is only defined if o is an object in the current protection state which is not a subject. I am interested in why ...
