Reg. keelest saab teha lõpliku arvu sõnesid. Tehted regulaarsete keeltega: A∪B = {x|x ∈ A või x ∈ B} ühend nt good, girl, boy, bad A◦B ={xy|x ∈ A ja y ∈ B} konkatenatsioon nt goodboy, goodgirl, badboy, badgirl A∗ = {x1x2...xk|k>=0 ja iga xi ∈ A} sulund nt ε, good, bad, goodgood, badgood… 2 Regulaarsete keelte omadusi. Regulaarsed avaldised. Teoreem: Regularsete keelte hulk on kinnine ühendi suhtes. T: Aktsepteerigu automaat N1 = (Q1,Σ,δ1,Q10,F1) keelt A1 ja automaat N2 = (Q2,Σ,δ2,Q20,F2) keelt A2. Eeldame, et keeltel pole ühiseid olekuid. Ühendi A1 ∪ A2 aktsepteerib lõplik automaat N=(Q;Σ,δ,Q0,F), kus: • Q = {q0} ∪ Q1 ∪ Q2, kus q0 on uus olek; • Σ on sama, mis N1-l ja N2-l; • q0 on automaadi N lähteolek; • lõppolekute hulk F = F1 ∪F2; Teoreem: Regulaarsete keelte hulk on kinnine konkatenatsiooni suhtes.
Kohus ei tarvitse olla paindlik nende printsiipide rakendamisel. Speditsioonileping huvide kompromiss Negotiation of Forwarding Contract: The Compromise of Interests Mõlemas õigussüsteemis on pooltel suur vabadus leppida kokku lepingu tingimustes Huvid vastuolus Ekspedeerija: minimiseerida lepingu finantsriskid Kliendi huvi: saada usaldusväärne teenus vedaja heastagu kõik võimalikud kaubakahjud Ekspedeerija: tellija aktsepteerigu üldtingimusi, mis määratlevad ekspedeerija vastutuse. Ta ei taha vastutada viivituse eest. Tellija: igal saadetisel olgu oma lepingutingimused. Ta võib nõustuda üldtingimustega, kus vedajal pole vastutust viivituse eest tavakaupade puhul, kuid tähtajatundliku kauba hilinemisel võib nõuda hüvitust Ekspedeerija ootab mööndusi, mida klient ei ole valmis tegema andestama aeglast kättetoimetamist tähtajatundliku kauba puhul