|Summary - looking for state machine languages email@example.com (1994-04-15)|
|Summary - looking for state machine languages firstname.lastname@example.org (1994-04-18)|
|Re: Summary - looking for state machine languages email@example.com (Julian V. Noble) (1994-04-18)|
|From:||firstname.lastname@example.org (Henry Gessau)|
|Keywords:||DFA, summary, comment|
|Organization:||Firma Bo Kullmar Datakonsult|
|Date:||Mon, 18 Apr 1994 02:10:45 GMT|
(I am following this thread in comp.realtime only, although I see it's cross-
posted to quite a few other groups where there should be people who can give
more info than I can.)
> A while ago I posted a query concerning state machine languages for
> real-time and communications systems. Here's the current list:
> AACC (event-driven parser generator from alt.sources)
> Orwell (defunct)
> FSMDL (Dominic Alston's thesis)
> SDT (similar to SDL)
I hope you don't mean to say that Lex and YACC are "state machine
languages"? Anyway, regarding SDT and SDL:
SDL (Specification and Description Language) is a CCITT recommendation
(i.e. a standard) described in books.
SDT is a tool implementing SDL. It's a CASE tool, you could say. You
write/draw your program in SDL, press a button, and SDT spits out C code
that you can compile. There are also tools for exhaustive testing,
verification, etc. SDT is by Telelogic in Malmö, Sweden.
I have all the info at work - drop me a note if you want to know more.
Henry Gessau email@example.com
[Lex generates DFAs, and has indeed been used to implement state systems.
Return to the
Search the comp.compilers archives again.