Looking for a simple example of Transition Semantics

I want to define a semantics of a DSL through transition semantics. For my DSL I defined the syntax and implemented a code generator. Although I can provide a demo by giving examples, I want to write the semantics of my DSL to provide a formal specification of it.

However I don't know how to do it!. Can someone provide me with an example?

What do you mean by "transitional semantics"? If you mean structural operational semantics using transition systems, then maybe a good place to start is a good text on the semantics of programming languages, Examples:

-
Winskel's Formal Semantics of Programming Languages.

-
Hennessy's Semantics of Programming Languages.

-
Nielson & Nielson's Semantics with Applications.

I recommend ignoring denotational semantics for your task.

Since the semantics of programming languages is really well-understood, most of the work in formalising DSLs usually comes from the domain-specific part of the language.

StackExchange Computer Science Q#4627, answer score: 5