Temporaalilogiikka oor Engels
Temporaalilogiikka
Vertalings in die woordeboek Fins - Engels
temporal logic
en
methods for reasoning about propositions involving time
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
temporaalilogiikka
Vertalings in die woordeboek Fins - Engels
Geen vertalings nie
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Muita muotoja ovat temporaalilogiikka, modaalilogiikka ja sumea logiikka.
We thank you for honouring our House with your visit.WikiMatrix WikiMatrix
Yleistetyn määritelmän ansiosta vain yhden tilan silmukoita sisältävät alternoivat automaatit voidaan myös kääntää edelleen epädeterministisiksi automaateiksi soveltamalla yleisesti tunnettua osajoukkokonstruktiota lähes sellaisenaan. Tämä konstruktio voidaan edelleen tehdä yksinkertaisemmin ja tehokkaammin LTL-kaavoista muodostetuille automaateille. Automaattikäännöksessä käytettävien sääntöjen avulla voidaan myös erottaa lineaarisen ajan temporaalilogiikan syntaktinen osajoukko, jonka kaavat onmahdollista kääntää epädeterministisiksi automaateiksi ilman, että automaattien tilojen määrä kasvaa osajoukkokonstruktion tavoin eksponentiaalisesti.
Wait a minute.It went to Roman and Maurice?ParaCrawl Corpus ParaCrawl Corpus
Tässä väitöskirjassa kehitetään lineaarisen ajan temporaalilogiikan (LTL) epädeterministisiksi automaateiksi kääntämisen teoriaa käyttämällä käännöksen apuna vain yhden tilan silmukoita sisältäviä alternoivia automaatteja, joilla – toisin kuin epädeterministisillä automaateilla – on sama ilmaisuvoima kuin lineaarisen ajan temporaalilogiikalla.
Everything he' s mouthing is in the book.I gotta make an A in this classParaCrawl Corpus ParaCrawl Corpus
Tapaustutkimuksesta saatujen tulosten perusteella algoritmi ja työkalu toimivat hyvin. Lisäksi metrinen temporaalilogiikka soveltuu tulosten perusteella ainakin joidenkin automaatiojärjestelmien vaatimusten formalisointiin.
This appropriation is intended to cover salaries, social security and all allowances and other expenditure relating to such staffParaCrawl Corpus ParaCrawl Corpus
4 sinne gevind in 1 ms. Hulle kom uit baie bronne en word nie nagegaan nie.