Je was op zoek naar: t�ƒ¶rv�ƒ©ny (Frans - Engels)

Menselijke bijdragen

Van professionele vertalers, bedrijven, webpagina's en gratis beschikbare vertaalbronnen.

Voeg een vertaling toe

Frans

Engels

Info

Frans

6) gto 09 ; £ t ƒ ; r/s : on lit wu

Engels

boucliers gullick 6 leg

Laatste Update: 2014-02-06
Gebruiksfrequentie: 1
Kwaliteit:

Frans

plus formellement : si form ( f ) est une formule atomique, si match ( f ) = true alors stack = empiler ( stack, f ); si form ( f ) est de la forme ¬ f1 , f1 formule atomique, soit ƒ 1 = repr ( f 1 , i ); si match (ƒ 1 ) = false alors stack = empiler ( stack, ƒ); formule current next clause f 1 ∧ f 2 ƒ 1 = repr ( f 1 , i ) ƒ 1 ∧ ƒ 2 → ƒ ƒ 2 = repr(f 2 , i) f 1 v f 2 ƒ 1 = repr ( f 1 , i ) ƒ 1 → ƒ ƒ 2 = repr ( f 2 , i ) ƒ 2 → ƒ o f 1 = repr ( f 1 , i + 1 ) ƒ 1 → ƒ o f 1 ƒ 1 = repr ( f 1 , i + 1 ) ƒ 1 → ƒ si i ≠ |n| () ⋄ f 1 ƒ 1 = repr ( f 1 , i ) ƒ 2 = repr (⋄ f 1 , i + 1) ƒ 1 → ƒ ƒ 2 → ƒ f 1 ƒ 1 = repr ( f 1 , i ) ƒ 2 = repr (⋄ f 1 , i + 1) ƒ 1 ∧ ƒ 2 → ƒ f 1 u f 2 ƒ 1 = repr ( f 1 ∧ o( f 1 u ƒ 1 → ƒ f 2 ), i) ƒ 2 → ƒ ƒ 2 = repr ( f 2 , i ) f 1 w f 2 ƒ 1 = repr ( f 1 , i ) ƒ 1 → ƒ ƒ 2 = repr ( f 1 u f 2 ,, i ) ƒ 2 → ƒ ¬( f 2 ∧ f 3 ) ƒ 1 = repr (¬ f 2 v ¬ f 3 , i ) ƒ 1 → ƒ ¬ ( f 2 vf 3 ) ƒ 1 = repr (¬ f 2 ∧ ¬f 3 , i ) ƒ 1 → ƒ ¬(¬ f 2 ) ƒ 1 = repr ( f 2 , i ) ƒ 1 → ƒ ¬ (o f 2 ) ƒ 1 = repr (o(¬ f 2 , i ) ƒ 1 → ƒ ¬ (o f 2 ) ƒ 1 = repr (o(¬ f 2 , i ) ƒ 1 → ƒ ¬ (⋄ f 2 ) ƒ 1 = repr( (¬ f 2 , i ) ƒ 1 → ƒ ¬ ( f 2 ) ƒ 1 = repr (⋄ (¬ f 2 , i ) ƒ 1 → ƒ ¬( f 2 u f 3 ) ƒ 1 = repr( (¬ f 3 , i ) ƒ 1 → ƒ ƒ 2 = repr( ¬ f 3 u (¬ f 2 , ƒ 2 → ƒ ∧, f 3 ), i) ¬( f 2 w f 3 ) f 1 = repr(( ¬ f 3 ) u (¬ f 2 , ƒ 1 → ƒ ∧,¬ f 3 ), i) procédure « match(ƒ) », où ƒ est une représentation de formules : cas form (ƒ) : si c'est de la forme {id 1 = t 1 ,..., id n = t n ,...}, alors : si ∀j, 1 ≤j ≤n, id j ε dom (r i ), et match-term (r i (id j ), t j , ƒ) alors true sinon false si c'est de la forme {id 1 = t 1 ,..., id n = t n }, alors : si n= |dom(r i )| et j, 1 ≤j ≤n, id j ε dom (r i ), et match-term (r i (id j ), t i , ƒ) alors true sinon false procédure « match-term» (w, t, ƒ), où w, t ∈ Σ* u et ƒ est une représentation de formule cas t : si t est un regex : si reg (w,t) alors true. sinon false si t est une variable x : notation : ρ(x) est une fonction partielle de l'ensemble des variables vers l'ensemble des chaínes de caractères Σ* si ρ(x) est défini si ρ(x) = w alors true sinon false si ρ(x) n'est pas défini, alors notation : e est l'environnement constitué des couples dont la première composante est prise dans l'ensemble des variables et la deuxième composante dans l'ensemble des chaínes de caractères e: = e u {(x,w)} ; true ; procédure inserer-clause (h) , où h est une clause de horn ayant une ou deux représentations de formules en partie négative : notation : si m est une matrice m x n, m, n ∈ n, notons m i,f l'élément de la i ème ligné indéxé par ƒ, et de manière semblable m f,j et m f 1, f 2.

Engels

more formally: if form(f) is an atomic formula, if match(f)=true then stack=stack(stack, f); if form(f) has the form f 1 , f 1 being an atomic formula, let f 1 =repr(f 1 , i); if match(f 1 )=false then stack=stack(stack, f); formula current next clause f 1 f 2 f 1 = repr(f 1 , i) f 1 f 2 → f f 2 = repr(f 2 , i) f 1 v f 2 f 1 = repr(f 1 , i) f 1 → f f 2 = repr(f 2 , i) f 2 → f of 1 f 1 = repr(f 1 , i + 1) f 1 → f of 1 f 1 = repr(f 1 , i + 1) f 1 → f si i ≠ | n| (*) ⋄f 1 f 1 = repr(f 1 , i) f 2 = repr(⋄f 1 , i + 1) f 1 → f f 2 → f f 1 f 1 = repr(f 1 , i) f 2 = repr(⋄f 1 , i + 1) f 1 f 2 → f f 1 u f 2 f 1 = repr(f 1 o(f 1 u f 1 → f f 2 ), i) f 1 → f f 2 = repr(f 2 , i) f 1 w f 2 f 1 = repr(f 1 , i) f 1 → f f 2 = repr(f 1 u f 2 ,, i) f 2 → f (f 2 f 3 ) f 1 = repr( f 2 ν f 3 , i) f 1 → f (f 2 v f 3 ) f 1 = repr( f 2 f 3 , i) f 1 → f ( f 2 ) f 1 = repr(f 2 , i) f 1 → f (of 2 ) f 1 = repr(o( f 2 , i) f 1 → f (of 2 ) f 1 = repr(o( f 2 , i) f 1 → f (⋄f 2 ) f 1 = repr( ( f 2 , i) f 1 → f (f 2 ) f 1 = repr(⋄( f 2 , i) f 1 → f (f 2 u f 3 ) f 1 = repr( ( f 3 , i) f 1 → f f 2 = repr( f 3 u ( f 2 , , f 2 → f f 3 ), i) (f 2 w f 3 ) f 1 = repr(( f 3 ) u ( f 2 , f 1 → f , f 3 ), i) *: otherwise, i.e. if i = | n |, f 1 = repr(f 1 , i) stack = stack(stack, f 1 ); “match(f)” procedure, where f is a formula representation in the case of form( f ): if it has the form {id 1 =t 1 , . . . , id n =t n , . . . },then: if ∀j, 1≦j≦n, id j ∈ dom(r i ), and match-term (ri(idj), tj, f) then true otherwise false if it has the form {id 1 =t 1 , . . . , id n =t n , . . . }, then: if n=|domr i )| and j, 1≦j>, result =>, . . . } and later {op=>, result =>, . . . } annex 2 e1: {op =>, result =>, subject =>} e2: {op=>, result =>, subject =>, date =>} e3: {op=>, result =>, object =>, mode =>, subject =>} annex 3 f Λ⋄ h where f and h are atomic formulas for detecting events expressed in temporal logic from atomic formulas.

Laatste Update: 2014-12-03
Gebruiksfrequentie: 1
Kwaliteit:

Waarschuwing: Bevat onzichtbare HTML-opmaak

Enkele menselijke vertalingen met lage relevantie werden verborgen.
Toon lage-relevantie resultaten.

Krijg een betere vertaling met
4,401,923,520 menselijke bijdragen

Gebruikers vragen nu voor assistentie



Wij gebruiken cookies om u de best mogelijke ervaring op onze website te bieden. Door de website verder te gebruiken, geeft u toestemming voor het gebruik van cookies. Klik hier voor meer informatie. OK