Automatyczne znajdowanie programu w danym języku spełniającego specyfikację użytkownika: przykłady, formułę logiczną, szkic lub opis naturalny.
Automatically finding a program in a given language that meets a user specification: examples, a logical formula, a sketch or natural language.
Automatyczne tworzenie działającego programu na podstawie tego, co ma robić: przykładów, opisu albo formalnej specyfikacji.
Automatically creating a working program from what it should do: examples, a description or a formal specification.
Wiele osób wie, jaki efekt chce osiągnąć, ale nie umie albo nie ma czasu napisać kodu, który to zrobi.
Many people know the result they want but cannot, or have no time to, write the code that achieves it.
Przeszukuje ogromną przestrzeń możliwych programów jak śledczy zawężający listę podejrzanych, aż zostanie ten zgodny ze wszystkimi wymaganiami.
Searches a huge space of possible programs like an investigator narrowing a suspect list until one meets every requirement.
Pokazujesz arkuszowi dwa przykłady przerobienia imienia i nazwiska na inicjały, a on sam uzupełnia pozostałe tysiąc wierszy.
You show a spreadsheet two examples of turning full names into initials, and it fills in the remaining thousand rows itself.