Att försöka lära sig översätta från mänskliga översättningsexempel.
Från professionella översättare, företag, webbsidor och fritt tillgängliga översättningsdatabaser.
najnowszy projekt dr friedricha to przewodnik po gdańsku dla dzieci.
his most recent project is a guide to gdańsk for children.
Senast uppdaterad: 2018-02-13
Användningsfrekvens: 1
Kvalitet:
w xvii wieku lwów, liczący 30 tysięcy mieszkańców, był po gdańsku drugim co do wielkości miastem rzeczypospolitej.kita - miasto w mali, w regionie kayes.takiego jak .na język rachunku kombinatorów składają się kombinator stały k, kombinator rodzielonej aplikacji s, oraz kombinatory aplikacji złożone z pary dowolnych kombinatorów - funkcji i argumentu:* σ = s _ k _ (σ σ)derywacją rządzą dwie reguły:* ((k α) β) → α* (((s α) β) γ) → ((α γ) (β γ))gdzie α, β i γ to dowolne kombinatory.
in the 17th century lviv/lwów was the second biggest city of poland-lithuania; with the population of 30,000.the town is the capital of the kita cercle in the kayes region.see also ."x"])) (by 3):: = (s (k (s i)) (s (k k) i)) (by 4)if we apply this combinator to any two terms "x" and "y", itreduces as follows:: (s (k (s i)) (s (k k) i) x y):: = (k (s i) x (s (k k) i x) y):: = (s i (s (k k) i x) y):: = (i y (s (k k) i x y)):: = (y (s (k k) i x y)):: = (y (k k x (i x) y)):: = (y (k (i x) y)):: = (y (i x)):: = (y x)the combinatory representation, (s (k (s i)) (s (k k) i)) is muchlonger than the representation as a lambda term, "λx"."λy".
Senast uppdaterad: 2016-03-03
Användningsfrekvens: 1
Kvalitet:
Varning: Innehåller osynlig HTML-formatering
Vissa mänskliga översättningar med låg relevans har dolts.
Visa resultat med låg relevans.