1:

. . .

23/02/2013

. . .

1:

block

. . .

1:

. . .

1:

()

. . .

1:

()

&

. . .

1:

()

&

1

&

3
4

. . .

1:

()

&

1

&

3
4

. . .

1:

()

&

&

3
4

. . .

1:

()

&

&

3
4

. . .

1:

()

&

&

3
4

. . .

1:

()

&

&

3
4

. . .

1:

. . .

1:

(modules)

Lisp
X
X
X
C
X
X
X
Algol60
X
X
Algol68
X
X
X
X
Pascal
X
X
X
Modula2
X
X
X
X
Modula3
X
X
X
X
X
X
ML
X
X
X
X
X
Simula
X
X
X
X
X
Smalltalk
X
X
X
X
X
X
C++
X
X
X
X
X
X
ObjectiveC
X
X
X
X
Java
X
X
X
X
X
X
X

. . .

1:

Francois Labelle open-source SourceForge

(wismuth.com/lang/languages.html)
. . .

1:

.

.
,
.

. . .

1:

.

.
,
.

,
.

. . .

1:

. . .

1:

&

(assembler)

(linker)

. . .

& 3:

,
.
:
.

. . .

1:

,
.
:
.
:
.
(
),
(
).

. . .

1:

,
.
:
.
:
.
(
),
(
).
:
. ,
, , ..
. . .

1:

.
Lisp
C
Simula
PL/1

, ,
Unix

( )

. . .

1:

Fortran

Algol
Smalltalk

, ,

. . .

1:

,

.


.
;
: (..
0)
, .. f (5)
f(x:int) = if x = 0 then 0 else x + f(x2)

. . .

1:

1 ( )
f : A B
f A B (x, y ) f (x, z) f y = z.
: x A
y B (x, y ) f

2 ( )
f : A B
x A ,
y = f (x).

. . .

1:

Church


(partial recursive functions).
Turing,
.
Turing
(Turingcomplete),
.

.
. . .

1:

,
.

P,
x,
P x .
,
. ,
.
i = 0;
while (i != f(i)) i = g(i );
printf(. . . i . . .);

. . .

1:

:

. ,
.

. . .

1:

:

. ,
.

.
.
(..
)
(.. ).

. . .

1:

:

. ,
.

.
.
(..
)
(.. ).

,
.
. . .

1:

Concepts

in

Program-

ming Languages

:
&

J. C. Mitchell, Cambridge

. , . &

University Press, 2002

. , 2004

. . .

1:

- -

Concepts

, ,

ming Languages

. , . -

A. Aho, M. Lam, R. Sethi,

R. Sebesta, Addison Wesley,

, -

J. Ullman (2 .), .

2012

, 2002

, 2012

. . .

of

Program-

1:

: pileas.csd.auth.gr
( ).

. . .

1:

: pileas.csd.auth.gr
( ).
JFLAP
.

. . .

1:

: pileas.csd.auth.gr
( ).
JFLAP
.
&
.

. . .

1:

: pileas.csd.auth.gr
( ).
JFLAP
.
&
.
.

. . .

1:

: pileas.csd.auth.gr
( ).
JFLAP
.
&
.
.
.

. . .

1:

2013
:
(30%)
.

. . .

1:

2013
:
(30%)
.
2013 (70%).

. . .

1:

2013
:
(30%)
.
2013 (70%).
5,

.

. . .

1:

2013
:
(30%)
.
2013 (70%).
5,

.


.

. . .

1:

2013
:
(30%)
.
2013 (70%).
5,

.


.

.
. . .

1:

2013
.

. . .

1:

: . .
( email: emmastac@csd.auth.gr)

. . .

1:

: . .
( email: emmastac@csd.auth.gr)
: . . (
email: katsaros@csd.auth.gr).

. . .

1:

: . .
( email: emmastac@csd.auth.gr)
: . . (
email: katsaros@csd.auth.gr).
: . 16 - ( - ) . (
- )

. . .

1:

: . .
( email: emmastac@csd.auth.gr)
: . . (
email: katsaros@csd.auth.gr).
: . 16 - ( - ) . (
- )
:
11.15 - 13.00 .
.

. . .

1: