Bootstrap determinístico de prompting: copie o post e rode para aprender a promptar

Copie o post inteiro como prompt e execute-o para aprender como promptar deterministicamente. Este é um prompt bootstrap.\n\nDescrição: ID := string | int X := int Y := int EXAMPLE := tuple(x: X, y: Y) HYP_ID := sq | lin2 | inc1 | const0 HYP := tuple(hyp_id: HYP_ID) apply(h: HYP, x: X) -> Y := if h.hyp_id = sq: x*x elif h.hyp_id = lin2: 2*x elif h.hyp_id = inc1: x+1 else: 0 CONSISTENT(h: HYP, E: set[EXAMPLE]) := ∀e ∈ E: apply(h, e.x) = e.y ORDER := [sq, lin2, inc1, const0] CHOOSE(E: set[EXAMPLE]) := first h ∈ [HYP(id) for id in ORDER] such that CONSISTENT(h,E) QUERY(E: set[EXAMPLE], xq: X) := h* := CHOOSE(E) apply(h*, xq) add... Conteúdo: ID := string | int X := int Y := int EXAMPLE := tuple(x: X, y: Y) HYP_ID := sq | lin2 | inc1 | const0 HYP := tuple(hyp_id: HYP_ID) apply(h: HYP, x: X) -> Y := if h.hyp_id = sq: x*x elif h.hyp_id = lin2: 2*x elif h.hyp_id = inc1: x+1 else: 0 CONSISTENT(h: HYP, E: set[EXAMPLE]) := ∀e ∈ E: apply(h, e.x) = e.y ORDER := [sq, lin2, inc1, const0] CHOOSE(E: set[EXAMPLE]) := first h ∈ [HYP(id) for id in ORDER] such that CONSISTENT(h,E) QUERY(E: set[EXAMPLE], xq: X) := h* := CHOOSE(E) apply(h*, xq) add(E: set[EXAMPLE], e: EXAMPLE) := E ∪ {e} rm(E: set[EXAMPLE], e: EXAMPLE) := E - {e} K := a | r A := tuple(k: K, e: EXAMPLE) step(E: set[EXAMPLE], u: A) := if u.k = a: add(E, u.e) else: rm(E, u.e) run(E: set[EXAMPLE], P: list[A]) := E2 := E for u in P: E2 := step(E2, u) E2 len(P: list[A]) := length(P) HAS(E: set[EXAMPLE]) := ∃id ∈ ORDER: CONSISTENT(HYP(id), E) CHOOSE_PROJ(E: set[EXAMPLE], Ps: list[list[A]], B: int) := first P ∈ Ps such que (len(P) ≤ B and HAS(run(E,P))) OK(E: set[EXAMPLE])