FIT VYSOK

E U

CEN

I TECHNICK

E V BRN

E
ITY 2. projekt
2010 Marcel Marek

Uvod
V tomto projektu si procvi cme sazbu tituln strany, matematick ych vzorc u a vyu zit matematick ych prostred
obvykl ych pro technicky zam eren e texty, naprklad rovnice (1) na stran e 3.
1 Sazba tituln strany
Jak ji z vme z predn a sek predm etu Typograe a publikov an, existuje n ekolik prstup u k sazb e tituln strany
dokumentu. V tomto projektu si procvi cme sazbu tituln strany podle optick eho stredu s vyu zitm zlat eho rezu.
Denice 1.1. M ejme use cku AB d elky a a bod C, kter y ji d el na dv e c asti x a a x . Rozd elen nazveme
zlat y rez, pokud pom er d elky v et s c asti x k men s c asti a x je roven pom eru d elky use cky a k v et s c asti x.
Zjevn e tedy plat rovnice
x
xa
=
a
x
s koreny x
1,2
= a
1

5
2
. Pro jednotliv e c asti vznikl e rozd elenm plat
vztahy x
.
= 0,618034 a a tak e a x
.
= 0,381966 a.
2 Matematick y text
Nejprve se podv ame na s azen matematick ych v yraz u a symbol u v plynul em textu. Pro mno zinu V ozna cuje
card(V ) kardinalitu V . Pro mno zinu V reprezentuje V

voln y monoid generovan y mno zinou V s operac

konkatenace. Prvek identity ve voln em monoidu V

zna cme symbolem. Necht

V
+
= V

{}. Algebraicky
je tedy V
+
voln a pologrupa generovan a mno zinou V s operac konkatenace. Kone cnou nepr azdnou mno zinu
V nazv eme abeceda. Pro w V

ozna cuje |w| d elku ret ezce w. Pro W V ozna cuje occur(w, W) po cet
v yskyt u symbol u z W v ret ezci w a sym(w, i) ur cuje i-t y symbol ret ezce w; naprklad sym(abcd, 1) = a.
V dal sm textu si uk a zeme, jak s azet v ety a denice s vyu zitm balku amsthm.
Denice 2.1. Bezkontextov a gramatika je ctverice G = (V, T, P, S), kde V je tot aln abeceda, T V je
abeceda termin al u, S (V T) je startujc symbol a P je kone cn a mno zina pravidel tvaru q : A , kde
A (V T), V

a q je n av e st tohoto pravidla. Necht

N = V T zna c abecedu netermin al u. Pokud

q : A P, , V

, G prov ad deriva cn krok z A do podle pravidla q : A , symbolicky

p seme A [q : A ] nebo zjednodu sen e A . Standardnm zp usobem denujeme
m
,
kde m 0. D ale denujeme tranzitivn uz av er
+
a tranzitivn e-reexivn uz av er

.
Algoritmus m u zeme podobn e jako denice uv ad et v textov e podob e. Pseudok od m u zeme vys azet tak e ve
vhodn em prostred s vyu zitm balk u algorithm2e, program nebo algorithmic.
Algoritmus 2.2. Algoritmus pro ov eren bezkontextovosti gramatiky. M ejme gramatiku G = (N, T, P, S).
1. Pro ka zd e pravidlo p P proved

test, zda p na lev e stran e obsahuje pr av e jeden symbol z N.

2. Pokud v sechna pravidla spl nuj podmnku z kroku 1, tak je gramatika G bezkontextov a.
Denice 2.3. Jazyk denovan y gramatikou G formulujeme jako L(G) = {w T

| S

w}.
2.1 Podsekce obsahujc v etu
Denice 2.4. Necht

L je libovoln y jazyk. L je bezkontextov y jazyk, kdy z a jen kdy z L = L(G), kde G je

libovoln a bezkontextov a gramatika.
Denice 2.5. Mno zinu L
CF
= {L|L je bezkontextov y jazyk} naz yv ame t rdou bezkontextov ych jazyk u.
V eta 1. Necht

L
abc
= {a
n
b
n
c
n
|n 0}. Plat, ze L
abc
L
CF
.
D ukaz. D ukaz se provede pomoc Pumping lemma pro bezkontextov e jazyky. Uk a zeme, ze nen mo zn e apli-
kovat Pumping lemma tak, aby platilo, co z bude implikovat pravdivost v ety 1.
2
3 Rovnice a odkazy
Slo zit ej s matematick e formulace s azme mimo plynul y text. N ekolik matematick ych v yraz u je mo zn e umstit
pomoc prostred displaymath na jeden r adek, ale pak je vhodn e tyto odd elit, naprklad prkazem \quad.
x
2
_
y
3
0
N
+
= {1, 2, 3, . . .} x
y
z
= x
yz
z
i
j
z
ij
V rovnici (1) jsou vyu zity tri typy z avorek s r uznou explicitn e denovanou velikost.

_
_
_
a +b
_
c
_
d
_
= 0 (1)
lim
x0
sin3x
x
= 3 (2)
V t eto v et e vidme, jak vypad a implicitn vys azen limity lim
n
f(n) v norm alnm odstavci textu. Podob-
n e je to i s dal smi symboly jako

n
1
ci

AB
. V prpad e vzorce lim
x0
sin x
x
= 1 jsme si vynutili m en e uspornou
sazbu prkazem \limits.
b
_
a
f(x) dx =
_
a
b
f(x) dx (3)
_
5

x
4
_

=
_
x
4
5
_

=
4
5
x
1
1
5
=
4
5
5

x
(4)
A B = A B (5)
4 Matice
Pro s azen matic se velmi casto pou zv a prostred array a z avorky (\left, \right).

t u
v w

= tw uv
A =
_
_
_
_
_
_
_
_
_
a
11
a
12
. . . a
1l
a
21
a
22
. . . a
2l
.
.
.
.
.
.
.
.
.
.
.
.
a
k1
a
k2
. . . a
kl
_
_
_
_
_
_
_
_
_
Prostred array lze usp e sn e vyu zt i jinde.
_
n
k
_
=
_
n!
k!(nk)!
pro 0 k n
0 pro k < 0 nebo k > n
5 Z av erem
Pokud budete potrebovat vyj adrit matematickou konstrukci nebo symbol a nebude se V am darit jej nal ezt
v samotn em L
A
T
E
Xu, doporu cuji prostudovat mo znosti balku maker A
M
S-L
A
T
E
X.
3