Tentando aprender a traduzir a partir dos exemplos de tradução humana.
A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
the memory management method according to claim 1 or 2, further comprising the step of deleting, in sequence, corresponding address values and data in the corresponding regions indicated by the address values from the oldest address value registered in the delete queue as needed when the idle region is less than a region necessary for recording the data.
procédé de gestion de mémoire selon la revendication 1 ou 2, comprenant en outre l'étape de suppression, dans l'ordre, de valeurs d'adresses et des données correspondantes dans les zones correspondantes, indiquées par les valeurs d'adresses en partant de la valeur d'adresse la plus ancienne, enregistrée dans la file d'attente de suppression, en fonction des besoins lorsque la zone libre est inférieure à une zone requise pour l'enregistrement des données.
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.
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.